Download En lógica, el modus ponendo ponens

Modus ponendo ponens
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
En lógica, el modus ponendo ponens (en latín, modo que afirmando afirma), también llamado
modus ponens y generalmente abreviado MPP o MP, es una regla de inferencia que tiene la
siguiente forma:
Si A, entonces B
A
Por lo tanto, B
Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:
Si está soleado, entonces es de día.
Está soleado.
Por lo tanto, es de día.
Otra manera de presentar el modus ponens es:
Y aún otra manera es a través de la notación del cálculo de secuentes:
En la axiomatización de la lógica proposicional propuesta por Jan Łukasiewicz, el modus ponens
es la única regla de inferencia primitiva. Esto ha motivado que mucha de la discusión en torno al
problema de la justificación de la deducción se haya centrado en la justificación del modus
ponens.