LAUSEARVUTUS 4 sidumiskonstruktsiooni seovad igaüks kahte lauset ( binaarsed loogikatehted) ja 1 tehe viiest on rakendatav üksikule lausele ( unaarne Ü loogikatehe) T Lausearvutus on loogilise mõtlemise matemaatiline mudel. T
" kui palka ei tõsteta või tööaega ei vähendata, siis algab streik " " P (siis ja) ainult siis, kui Q " P ↔ Q " ülemus on kohal ainult siis, kui tema auto on maja ees" Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise JA-tehte märgina kasutatakse ka sümbolit 'ampersand ' : & ( & ≡ ∧) konstruktsiooni ehk loogikatehte abil. 4 sidumiskonstruktsiooni seovad igaüks kahte lauset (binaarsed Ekvivalentsitehte märgina kasutatakse ka sümbolit ~ (~ ≡ ↔) loogikatehted) ja 1 tehe on rakendatav üksikule lausele (unaarne loogikatehe) VÕI-tehte märgina kasutatakse ka sümbolit + (+ ≡ ∨)
annaabi.ee 
