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 = {P₁....P_n} 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]