Eller-introducering

Från Rilpedia

(Omdirigerad från Eller-introduktion)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif
icon_anmal.gif
rp-wp-sv.gif
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.


AND ANSI.svg Denna artikel om logik är bara påbörjad. Du kan hjälpa till genom att utöka den.
Hämtad från "https://sv.rilpedia.org/wiki/Eller-introducering"
Personliga verktyg
På andra språk