Eller-introducering

Utseende flytta till sidofältet dölj


Satslogiska slutledningsregler
Modus ponendo ponens Modus tollendo tollens Modus tollendo ponens Deduktionsteoremet Reductio ad absurdum Och-eliminering Och-introducering Eller-eliminering Eller-introducering HS-regeln
Predikatlogiska slutledningsregler
Universell generalisering Existentiell generalisering Universell specifikation Existentiell specifikation
Andra slutledningsregler
Dilemma

Eller-introducering, även benämnd Add-regeln (från eng. Law of addition), är en slutledningsregel inom satslogiken. Regeln kan formellt skrivas:

P ∴ P ∨ Q {\displaystyle {\frac {P}{\therefore P\lor Q}}}

{\frac {P}{\therefore P\lor Q}}

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:

P ⊢ ( P ∨ Q ) {\displaystyle P\vdash (P\lor Q)}

P\vdash (P\lor Q)

där ⊢ {\displaystyle \vdash }

\vdash

Regeln uttryckt som en tautologi eller ett teorem i satslogiken skrivs:

P → ( P ∨ Q ) {\displaystyle P\to (P\lor Q)}

P\to (P\lor Q)

Källor

Patrick Suppes, Introduction to Logic, Van Nostrand, New York 1957.
Göran Hermerén, Logik, Studentlitteratur, Lund 1967.
Elements of Mathematical Logic, Jan Łukasiewicz, Pergamon Oxford 1956.
Geoffrey Hunter, Metalogic. An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London 1971.
Elliott Mendelson, Elementary Logic, Oxford University Press, London 1965.