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)
