Eller-eliminering

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2018-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Slutledningsregler
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

Eller-eliminering eller eliminering av disjunktion är en logisk härledningsregel inom satslogiken med formen:

${\displaystyle {\begin{array}{cc}A\lor B&\mathrm {(premiss)} \\A&\mathrm {(premiss)} \\\hline A&\mathrm {(slutsats)} \end{array}}}$

eller

${\displaystyle {\begin{array}{cc}A\lor B&\mathrm {(premiss)} \\B&\mathrm {(premiss)} \\\hline B&\mathrm {(slutsats)} \end{array}}}$

Det vill säga om en av de ingående delarna i satsen "A eller B" är sann så är denna ingående del sann även för sig själv, vilket leder till elimination av disjunktion.

    Exempel: 
    A = "Jag vill ha kaffe"
    B = "Jag vill ha te"
    A ∨ B (Jag vill ha kaffe eller jag vill ha te)
    Jag vill ha kaffe. ; premiss
    Slutsats: Jag vill ha kaffe.