Sissejuhatus, lausearvutus, loogikaseadused
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?
Nendeks on inversioon, konjuktsioon ja disjunktsioon. Nad on elementaarsed, kuna ei ole
avaldatavad mingite teiste lihtsamate loogikatehete kaudu, kuna nad ise ongi lihtsaimad.
Mis on lausearuvutsvalem? Lausearvutus valemi definitsioon.
Nii liht kui ka liitlausete formaalseid esitusi nimetatakse lausearvutusvalemiteks.+
Definitsioon:
Lihtlause formaalne tähis, näiteks A ja üksik tõeväärtuskonstant 0 või 1 on valem.
Lausearvutuses kasutatavate loogikatehete definitsioonid, tõeväärtustabelina.
Inversioon Konjuktsioon Disjunktsioon Implikatsioon Ekvivalents
A B ~A A&B AvB A->B A<->B
annaabi.ee 
