Usuario:Diana~eswikibooks/ejercicio 1

• Utilizar la tautología P$\lor \lnot \;$P para demostrar que las siguientes expresiones son tautologías.

a. (P$\to \;$Q)$\lor \lnot \;$(P$\to \;$Q)

b. $\lnot \;$P$\lor \lnot \lnot \;$P

c. ((P$\land \;$S)$\lor \;$Q)$\lor \lnot \;$((P$\land \;$S)$\lor \;$Q)

SOLUCION:

Convertir P$\lor \lnot \;$P en el esquema A$\lor \lnot \;$A

a. Sea A igual a P$\to \;$Q

b. Sea A igual a $\lnot \;$P

c. Sea A igual a ((P$\land \;$S)$\lor \;$Q)