Reductio ad absurdum-regeln

Från Wikipedia
Hoppa till: navigering, sök
Slutledningsregler
Deduction symbols2.gif
Satslogiska slutledningsregler
 Predikatlogiska slutledningsregler 
Andra slutledningsregler

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[redigera | redigera wikitext]

Källor[redigera | redigera wikitext]

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