From Wikipedia, the free encyclopedia
En lògica, el modus ponendo ponens (en llatí, literalment manera que posa tot posant, en el sentit de manera que afirmant afirma), també anomenat modus ponens i generalment abreujat MPP o MP, és una regla d'inferència que té la següent forma:[1][2]
Aquest article o secció no cita les fonts o necessita més referències per a la seva verificabilitat. |
Per exemple, un raonament que segueix la forma del modus ponens podria ser:
Una altra manera de presentar el modus ponens és:[3]
I encara una altra manera és a través de la notació del càlcul de següent:
En l'axiomatització de la lògica proposicional proposada per Jan Łukasiewicz, el modus ponens és l'única regla d'inferència primitiva. Això ha motivat que molta de la discussió al voltant del problema de la justificació de la deducció s'hagi centrat en la justificació del modus ponens.
En lògica proposicional la seva representació és la següent:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.