Disjunktsioon: erinevus redaktsioonide vahel

 

'''Disjunktsioon''' ehk '''loogiline liitmine''' on binaarne loogikatehe: lausete ''A'' ja ''B'' disjunktsioon ''A''<math>\vee</math>''B'' loetakse vääraks parajasti siis, kui laused ''A'' ja ''B'' on mõlemad väärad ning tõeseks kõigil muudel juhtudel.

 

Disjunktsiooni ning [[eitus]]e abil on võimalik esitada kõik ülejäänud loogikatehted.

 

== Omadused ==

* Disjunktsiooni [[assotsiatiivsus]]: (A &or; B) &or; C ⇔ A &or; (B &or; C)

* Disjunktsiooni [[kommutatiivsus]]: A &or; B ⇔ B &or; A

 

== Mõiste ajalugu ==

Disjunktsiooni mõiste ''välistavale võile'' vastava loogilise operatsiooni tähenduses võttis kasutusele [[George Boole]]. [[Boole'i algebra]]s võis avaldistel olla kaks väärtust: 0 või 1. Avaldiste summa luges Boole nulliks siis, kui kõik liidetavad olid nullid. Reeglit 1 + 1 = 1 ei julenud Boole kasutusele võtta, nähes selles ühisosaga hulkade summat, mis temal oli määratlemata. Hiljem teisendasid [[Charles Sanders Peirce|Peirce]] ja [[William Stanley Jevons|Jevons]] Boole'i loogilise liitmise harilikuks või-tehteks (lubades reeglit 1 + 1 = 1).

 

== Vaata ka ==

 

[[Kategooria:Loogika]]

[[Kategooria:Automaatika]]