Modus ponens

Wikipedia

Modus ponens (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:

     A -> B    ; premiss 
     A         ; premiss
     ------
     B         ; slutsats

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.