Usuario:Andresgarcia87/ejercicio 2B capitulo 2 pagina 95

  • b) [(pq)¬q]¬p
p,q
P Q
V V
V F
F V
F F
¬p,¬q
¬P ¬Q
F F
F V
V F
V V


pq
pq
V
F
V
V


(pq)¬q
(pq)¬q
F
F
V
V


Ahora, teniendo la tabla general de [(pq)¬q] podemos hacer la implicacion con ¬p para verificarla


(pq)¬q ¬p [(pq)¬q]¬p
F F V
F F V
V V V
V V V


Y ahora ya hemos verificado la verdad del enunciado propuesto en el punto b, siendo este una tautologia.