Modus Ponendo Ponens es una forma argumentativa básica y una regla de inferencia según la cuál si en un proceso de cálculo deductivo de proposiciones nos encontramos en un paso n con una condicional y en un paso m con la afirmación del antecedente de dicha condicional, entonces es lícito afirmar en un paso m+1 (o ulterior) el consecuente de dicha condicional. De ahí su nombre en latín que significa justamente “el modo de afirmar, afirmando”. Por ello, en tanto regla de inferencia, también puede ser llamado “afirmación del antecedente”.

Sin embargo, interesantemente también es a veces llamado “eliminación de la condicional” pues en perspectivas como la manifestada por Whitehead y Russell en Principia Mathematica: “…una inferencia modus ponendo ponens no es tanto el lanzamiento de una premisa verdadera, sino que es la disolución de una implicación».

Aquí un sintético apunte (a mano, producto de una lección en línea) en el que se ejemplifica un argumento de esta forma y se evalúa su validez empleando la técnica de las tablas de verdad al re-expresar el argumento en la forma de una tautología.