Absurditetsregeln

Från testwiki
Version från den 4 januari 2017 kl. 16.13 av imported>Micheller8888
(skillnad) ← Äldre version | Nuvarande version (skillnad) | Nyare version → (skillnad)
Hoppa till navigering Hoppa till sök

Mall:Hänvisning 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.
Hämtad från ”https://sv.wiki.beta.math.wmflabs.org/w/index.php?title=Absurditetsregeln&oldid=3035”