Incompatibilidad de la verdad de las premisas y falsedad de la conclusión en el
Modus Ponens
p
q
¬q
p
q
(p
q)
p
[(p
q)
p]
¬q
V
V
F
V
F
V
F
V
F
F
F
V
Todo deben ser Vs