cursos‎ > ‎lógica‎ > ‎guías‎ > ‎reglas básicas de deducción natural‎ > ‎

Modus Ponendo Ponens

(eliminación de la implicación) [E->]

X->Y
X
____
Y

La expresión latina  "Modus Ponendo Ponens"  se traduce literalmente como "modo que poniendo pone", aunque sería más claro entenderlo como "confirmando confirma". Funciona a partir de una implicación: cuando se confirma el antecedente (causa lógica), entonces se puede confirmar el consecuente (consecuencia lógica).

El ejemplo más estúpido que se le puede ocurrir a alguien para explicar esta regla es "Si llueve, entonces me mojo. Está lloviendo. Por ende, me estoy mojando". Pero veamos ejemplos quizás más interesantes:

"Si estuvieras borracho, estarías cariñoso. Estás borracho. Por eso estás cariñoso"



El MPP es la regla fundamental de la demostraciones lógicas, es decir, la operación lógica fundamental del método de deducción natural. 

"Si fueras inteligente, no repeterías los mismos errores"



Comments