2. Formalizar el lenguaje proposicional

Ella estudia o trabaja.

• PvQ

• P∧Q

• P→Q

• P↔Q

Si ella trabaja, entonces gana dinero.

• PvQ

• P∧Q

• P→Q

• P↔Q

Si ella estudia, entonces no gana dinero.

• P→Q

• P↔Q

• P↔⌐Q

• P→⌐Q

Si gana dinero, puede comprarse una televisión y ver una serie.

• P→(QvR)

• P→(Q∧R)

• P↔(QvR)

• P↔(Q∧R)

Solo si ve la serie, entonces conoce a los personajes

• Q↔P

• Q→P

• Q∧P

• QvP

x=2 o x=8

• P∧Q

• P∨Q

• P→Q

• P↔Q

Si y solo si x=2, entonces x+5=7

• Q→P

• Q∧P

• Q↔P

• QvP

Si x=2, entonces x≠8

• ⌐P↔Q

• ⌐P→Q

• P↔⌐Q

• P→⌐Q

x=8 y y=5

• PvQ

• P∧Q

• P→Q

• P↔Q

x≠8 y y≠5

• P∧⌐Q

• ⌐P∨Q

• ⌐P∧⌐Q

• ⌐P∨⌐Q