Modus ponens

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:

(Véase implicación).