Tabla de verdad del
Modus Tollens
o razonamiento indirecto
p
q
¬p
¬q
p
q
(p
q)
¬q
[(p
q)
¬q]
¬p
V
V
F
F
V
F
F
V
F
V
V
F
F
F
V
V
Todo deben ser Vs