Usuario:Andresgarcia87/ejercicio 2B capitulo 2 pagina 95
Apariencia
- 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.