Tabla de verdad del Modus Tollens o razonamiento indirecto

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

Todo deben ser Vs

Comprueba
Borrar
Solucion