Absurditetsregeln
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 F.

Formellt kan regeln skrivas: F → K  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.
Slutledningsregler
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 F . Formellt kan regeln skrivas : F → K 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 Geoffrey Hunter . Metalogic . An Introduction to the Metatheory of Standard First-Order Logic. MacMillan , London Slutledningsregler