Eller-introducering
Från Wikipedia, den fria encyklopedin
Från Wikipedia, den fria encyklopedin
Eller-introducering, även benämnd Add-regeln (från eng. Law of addition), är en slutledningsregel inom satslogiken. Regeln kan formellt skrivas:
![]() |
---|
Satslogiska slutledningsregler |
Predikatlogiska slutledningsregler |
|
Andra slutledningsregler |
vilket betyder att man från en premiss P, kan sluta sig till disjunktionen P eller Q.
Exempel: Från Solen lyser, följer slutsatsen Solen lyser eller Vågorna glittrar.
Formellt kan regeln även skrivas:
Regeln uttryckt som en tautologi eller ett teorem i satslogiken skrivs:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.