Llamado también modus ponendo ponens, o razonamiento directo, la implicación tautológica conocida como Modus Ponens que afirma que si tenemos una implicación y además la afirmación de su antecedente, podemos inferir como conclusión el consecuente.
Adquiere
la siguiente forma lógica: [(p
q)
p]q
(en lenguaje natural sería algo así como si p implica q, y p es verdadero,
entonces q también debe ser verdadero).
Su argumento correspondiente es:
A B |
A |
 |
 B |
(v. implicación)
