Eller-eliminering
From Wikipedia, the free encyclopedia
Eller-eliminering eller eliminering av disjunktion är en logisk härledningsregel inom satslogiken med formen:
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. |
Snabbfakta Satslogiska slutledningsregler, Predikatlogiska slutledningsregler ...
![]() |
---|
Satslogiska slutledningsregler |
Predikatlogiska slutledningsregler |
|
Andra slutledningsregler |
Stäng
eller
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.