Absurditetsregeln

Den här artikeln handlar om en slutledningsregel inom satslogik. För logikens metateorem benämnt absurdumregeln, se Deduktionsteoremet.

Absurditetsregeln, även kallad Ab-regeln, Law of absurdity, är en slutledningsregel i satslogiken.

Ab-regeln: Om F → K, där K är en kontradiktion, är en premiss i ett satslogiskt system, så kan man från denna dra slutsatsen ${\displaystyle \neg }$F.

Formellt kan regeln skrivas: F → K ${\displaystyle \vdash }$ ${\displaystyle \neg }$F.

Se även

• Reductio ad absurdum-regeln
• CP-regeln
• Modus tollendo tollens

Källor

• An Introduction to Logic and Scientific Method, Morris F. Cohen, Harcourt 1962.
• Geoffrey Hunter. Metalogic. An Introduction to the Metatheory of Standard First-Order Logic. MacMillan, London 1971.