Modus ponens

Från Rilpedia

Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif
icon_anmal.gif
rp-wp-sv.gif
Deduction symbols2.gif
Satslogiska härledningsregler

Modus 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 ponens vara ett exempel på en (satslogisk) härledningsregel.

Modus 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 ponens är kanske den mest grundläggande av alla härledningsregler överhuvudtaget.

Hämtad från "https://sv.rilpedia.org/wiki/Modus_ponens"
Personliga verktyg