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 tas i många sorters resonemang. I logiken är Modus Ponendo Ponens en satslogisk slutledningsregel.

Modus Ponendo Ponens i symbolisk 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 materiell implikation.

Exempel: Från "Om solen lyser, så glittrar vågorna" och "Solen lyser" kan man således dra slutsatsen "Vågorna glittrar".

Modus Ponendo Ponens är en av de mest grundläggande slutledningsreglerna.

Källor

• Göran Hermerén, Logik, Studentlitteratur, Lund 1967.
• Konrad Marc-Wogau, Modern Logik, Bonniers 1950.