Modus ponendo ponens

Modus ponendo ponens

En lgica, modus ponendo ponens (en latn, modo que afirmando afirma), tambin 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 podra ser: Si est soleado, entonces es de da. Est soleado. Por lo tanto, es de da. Otro ejemplo sera Si 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 an otra manera es a travs de la notacin del clculo de secuentes: Con condicional:

En la axiomatizacin de la lgica proposicional propuesta por Jan ukasiewicz, el modus ponens es la nica regla de inferencia primitiva. Esto ha motivado que mucha de la discusin en torno al problema de la justificacin de la deduccin se haya centrado en la justificacin del modus ponens.

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Modus ponendo ponens Fuente: http://es.wikipedia.org/w/index.php?oldid=49186773 Contribuyentes: .Jos, Alejandrocaro35, Dnu72, Dusan, Elwikipedista, Fadesga, Gtz, HUB, Luis Felipe Schenone, Moriel, Niceforo, Yearofthedragon, 19 ediciones annimas

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