Reductio ad absurdum-regeln

Satslogiska slutledningsregler
  • Modus ponendo ponens
  • Modus tollendo tollens
  • Modus tollendo ponens
  • Deduktionsteoremet
  • Reductio ad absurdum
  • Och-eliminering
  • Och-introducering
  • Eller-eliminering
  • Eller-introducering
  • HS-regeln
 Predikatlogiska slutledningsregler 
  • Universell generalisering
  • Existentiell generalisering
  • Universell specifikation
  • Existentiell specifikation
Andra slutledningsregler
  • Dilemma
Denna tabell: visa • redigera

Reductio ad absurdum-regeln, är namnet på en slutledningsregel, RAA-regeln, inom logiken, som bland annat används vid indirekt bevisföring. Regeln är en kombination av CP-regeln och den så kallade Absurditetsregeln, betecknad Ab-regeln, Law of Absurdity.

Definition: Om en kontradiktion K, kan härledas från en premissmängd H = {P1....Pn} och en formel F, så kan negationen av F härledas från H.

Definition med symboler: H ʌ F -| K implicerar H -| ~F, där -| betecknar satslogisk konsekvens.[1]

Se även

Källor

  1. ^ Metalogic. An Introduction to the Metatheory of Standard First-Order Logic, Geoffrey Hunter, MACMILLAN 1971.