Usuario:Alvaro Otero/ejercicio 19

(P => ~Q) <=>  ~(P ^ Q). Es una tautología?

 SOLUCION

 La negación de a <=> b es ~(a <=> b), que, en lógica de

proposiciones, es a <=> ~b, así que la negación de la proposición dada es

(P => ~Q)<=> (P ^ Q), o sea (~P ^ ~Q)<=>(P ^ Q), que por De Morgan queda

~(P ^ Q) <=>(P ^ Q), lo cual es una contradicción.

Por lo tanto no es una tautologia la proposición dada