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