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]

Se även[redigera | redigera wikitext]

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