Modus ponens

Från Wikipedia
Hoppa till: navigering, sök
Deduction symbols2.gif
Satslogiska härledningsregler

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[redigera | redigera wikitext]

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