Eller-introducering

Satslogiska härledningsregler
Modus ponens Modus tollens Och-eliminering Och-introducering Eller-eliminering Eller-introducering Dilemma

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

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

D.v.s. om du har premissen "A" så följer det att "A v B" även har samma sanningsvärde.

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

Slutsatsen är här en inklusiv disjunktion.