Modus ponens

Satslogiska härledningsregler
Modus ponens Modus tollens Och-eliminering Och-introducering Eller-eliminering Eller-introducering Dilemma

Modus Ponendo Ponens (latin: metod för bekräftelse) är ett argumentationssteg som (obemärkt) görs i alla möjliga typer av resonemang. I logisk terminologi sägs Modus Ponendo Ponens vara ett exempel på en (satslogisk) härledningsregel.

Modus Ponendo Ponens i avskalad form ser ut så här:

$\begin{array}{cc} A \rightarrow B & \mathrm{(premiss)} \\ A & \mathrm{(premiss)} \\ \hline B & \mathrm{(slutsats)} \end{array}$

Första raden utläses "Om A så B" eller "A implicerar B". Pilen står för implikation.

Exempel på användning: Om vi vet att, för det första, om solen går upp så blir det ljust och, för det andra, solen går upp, så kan vi dra slutsatsen det blir ljust.

Modus Ponendo Ponens är den mest grundläggande av alla härledningsregler.