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:
- p→q
- p
- ⊢q
(v. implicación)