Demostrar la tautología utilizando la equivalencia proposicional y las leyes de la lógica determinar

Question

q  ( p  ¬q)  ¬p
q  ( ¬p  ¬q)  ¬p
(q  ¬p) (q  ¬q)  ¬p
(q  ¬p) F  ¬p

no se como solucionar esto mas adelante. K

Answer 1

En primer lugar, un término como $P \lor F$ equivale simplemente a $P$ . Por lo tanto, como el siguiente paso que se obtiene:

$(q \land \neg p) \to \neg p$

Y ahora reescribe esta segunda implicación igual que hiciste con la primera. Es decir, el siguiente paso es:

$\neg (q \land \neg p) \lor \neg p$

Ahora haz DeMorgan y ya casi lo tienes.