Eller-eliminering

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

$\begin{array}{cc}A\vee B& \mathrm{(}\mathrm{p}\mathrm{r}\mathrm{e}\mathrm{m}\mathrm{i}\mathrm{s}\mathrm{s}\mathrm{)}\\ A& \mathrm{(}\mathrm{p}\mathrm{r}\mathrm{e}\mathrm{m}\mathrm{i}\mathrm{s}\mathrm{s}\mathrm{)}\\ A& \mathrm{(}\mathrm{s}\mathrm{l}\mathrm{u}\mathrm{t}\mathrm{s}\mathrm{a}\mathrm{t}\mathrm{s}\mathrm{)}\end{array}$

eller

$\begin{array}{cc}A\vee B& \mathrm{(}\mathrm{p}\mathrm{r}\mathrm{e}\mathrm{m}\mathrm{i}\mathrm{s}\mathrm{s}\mathrm{)}\\ B& \mathrm{(}\mathrm{p}\mathrm{r}\mathrm{e}\mathrm{m}\mathrm{i}\mathrm{s}\mathrm{s}\mathrm{)}\\ B& \mathrm{(}\mathrm{s}\mathrm{l}\mathrm{u}\mathrm{t}\mathrm{s}\mathrm{a}\mathrm{t}\mathrm{s}\mathrm{)}\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.