Modus ponendo ponens 1

Modus ponendo ponensEn lógica, modus ponendo ponens (en latín, modo que afirmando afirma), también llamado modus ponens ygeneralmente abreviado MPP o MP, es una regla de inferencia que tiene la siguiente forma:

Si A, entonces BAPor 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.

Otro ejemplo seríaSi Javier tiene rabia, es una nube.Javier tiene rabia.Por lo tanto, Javier es una nube.

Otra manera de presentar el modus ponens con el condicional es:

Y aún otra manera es a través de la notación del cálculo de secuentes: Con condicional:

En la axiomatización de la lógica proposicional propuesta por Jan Łukasiewicz, el modus ponens es la única regla deinferencia primitiva. Esto ha motivado que mucha de la discusión en torno al problema de la justificación de ladeducción se haya centrado en la justificación del modus ponens.

Fuentes y contribuyentes del artículo 2

Fuentes y contribuyentes del artículoModus ponendo ponens  Fuente: http://es.wikipedia.org/w/index.php?oldid=49186773  Contribuyentes: .José, Alejandrocaro35, Dnu72, Dusan, Elwikipedista, Fadesga, Götz, HUB, Luis FelipeSchenone, Moriel, Niceforo, Yearofthedragon, 19 ediciones anónimas

LicenciaCreative Commons Attribution-Share Alike 3.0 Unported//creativecommons.org/licenses/by-sa/3.0/