Eller-introducering

Från Wikipedia
Hoppa till: navigering, sök
Deduction symbols2.gif
Satslogiska härledningsregler

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.