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

Formellt kan regeln skrivas: F → K F.

Se ävenRedigera

KällorRedigera

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