Sissejuhatus, lausearvutus, loogikaseadused
P ainult siis, kui Q
Millist tehet nimetatakse binaarseks? Millised loogikatehted on binaarsed?
Binaarsed tehted seovad kahte lauset, nendeks on konjuktsioon, disjunktsioon, ekvivalents ja
implikatsioon.
Millist tehet nimetatakse unaarseks? Millised loogikatehted on unaarsed?
Unaarsed tehted on rakendatavad ühele lausele. Unaarseks on eitus.
Milline aritmeetiline tehe vastab igale loogikatehtele?
Konjuktsioon korrutamine.
Disjunktsioon liitmine.
Ekvivalents võrdumine.
Implikatsioonile ei ole aritmeetikas analoogi.
Millist loogikatehet nimetatakse loogikaliseks korrutamiseks? Millist loogikaliseks liitmiseks?
Loogiline korrutamine on konuktsioon, liitmine on dusjunktsioon.
Milline omavaheline seos on ekvivalentsil ja implikatsioonil?
Ekvivalentsitehete mõlemad operandid on samaaegselt teineteise eelduseks ja järelduseks ehk
P<->Q puhul P->Q ja Q<-P
Millised on elementaarsed loogikatehted. Miks neid nimetatakse elementaarseteks?