Tabla de verdad del
Modus Ponens
o razonamiento directo
p
q
p
q
(p
q)
p
[(p
q)
p]
q
V
V
V
F
F
V
F
F
Todo deben ser Vs