Usuario:Andresgarcia87/ejercicio 2B capitulo 2 pagina 95

• b) [(p$\Rightarrow$q)$\land$¬q]$\Rightarrow$¬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

p$\Rightarrow$q

p$\Rightarrow$q
V
F
V
V

(p$\Rightarrow$q)$\land$¬q

(p$\Rightarrow$q)$\land$¬q
F
F
V
V

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

(p$\Rightarrow$q)$\land$¬q	¬p	[(p$\Rightarrow$q)$\land$¬q]$\Rightarrow$¬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.