" kõigi maade proletaarlased, ühinege " t u " olla või mitte olla " ( & ) i JA-tehte märgina kasutatakse ka sümbolit 'ampersand ' : & s t Lihtsaimaid võimalikke lausearvutuslauseid nimetatakse lihtlauseteks. Ekvivalentsitehte märgina kasutatakse ka sümbolit ~ ( ~ ) I n Lihtlauseid ei saa enam jagada veelgi lihtsamateks lauseteks. VÕI-tehte märgina kasutatakse ka sümbolit + ( + ) Lausearvutuslauseid tähistame formaalselt suurtähtedega: A, B, P, Q . .
Lausearvutus lause võib olla iga verbaalne väide, millele saame omistada tõevaartuse, ehk kas ta on tõene või väär, 1 või 0. Lausearvutus lause peab omandama ühe tõeväärtuse nendest kahest alternatiivist. Millised tõeväärtused on olemas? Kuidas neid tähistatakse? On olemas kaks tõeväärtust, 0 ja 1 ehk vastavalt kas väär või tõene. Milline lause on lihtlause? Lihtlaused on lihtsaimad lausearvutusvalemid.Neid ei saa jagada enam veelgi lihtsamateks lauseteks. Kuidas lausearvutuslauseid tavaliselt tähistatakse? Lausearvutus lauseid tähistame formaalselt suurtähtedega A,B,P,Q..... . Mis on liitlause?Kuidas ja millest neid moodustatakse? Lihtlausetest koostatakse kindlate sidesõnade ja loogiliste konstruktsioonide abil liitlauseid. Lihtlaused seotakse liitlauseks 5 loogikatehte abil, millest 4 on binaarsed, 1 on unaarne ja selleks on eitus. Millised on lausearvutuse loogikatehted? Nende tähistused ja verbaalsed tähendused?
Verbaalne esitus on mistahes info esitamine lingvistilise keele abil. Formaalne esitus on mistahes info esitamine ilma lingvistilise keele abita ehk esitus kokkulepitud sümbolite abil. Formaalne esitus peab olema üheselt tõlgendatav. Lausearvutus on loogilise mõtlemise matemaatiline mudel. Lausearvutuse lause võib olla iga verbaalne väide, millele saame omistada tõeväärtuse – tõene või vale. Lihtlause on lihtsaim võimalik lausearvutuslause. Lausearvutuslauseid tähistatakse formaalselt suurtähtedega: A, B, P, Q … Lihtlausetest koostatakse kindlate sidesõnade ja loog konstruktsioonide abil liitlauseid. Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise konstruktsiooni ehk loogikatehte abil. Binaarsed loogikatehted seovad kahte lauset (4 tk), unaarne loogikatehe on rakendatav üksikule lausele (1 tk – eitus). Loogiline korrutamine ehk konjunktsioon ehk JA-tehe. Loogiline liitmine ehk disjunktsioon ehk VÕI- tehe
Verbaalne esitus on mistahes info esitamine lingvistilise keele abil. Formaalne esitus on mistahes info esitamine ilma lingvistilise keele abita ehk esitus kokkulepitud sümbolite abil. Formaalne esitus peab olema üheselt tõlgendatav. Lausearvutus on loogilise mõtlemise matemaatiline mudel. Lausearvutuse lause võib olla iga verbaalne väide, millele saame omistada tõeväärtuse – tõene või vale. Lihtlause on lihtsaim võimalik lausearvutuslause. Lausearvutuslauseid tähistatakse formaalselt suurtähtedega: A, B, P, Q … Lihtlausetest koostatakse kindlate sidesõnade ja loog konstruktsioonide abil liitlauseid. Lausearvutuse lihtlauseid seotakse liitlauseteks 5 loogilise konstruktsiooni ehk loogikatehte abil. Binaarsed loogikatehted seovad kahte lauset (4 tk), unaarne loogikatehe on rakendatav üksikule lausele (1 tk – eitus). Loogiline korrutamine ehk konjunktsioon ehk JA-tehe. Loogiline liitmine ehk disjunktsioon ehk VÕI-tehe
Lausearvutuslauseteks ei ole (ei kõlba): " mitte P "; " pole õige, et P " P " kõigi maade proletaarlased, ühinege " " olla või mitte olla " Ühe alternatiivi kehtimise nõue: " P või Q " P∨Q Lihtsaimaid võimalikke lausearvutuslauseid nimetatakse lihtlauseteks. Tingimuste samaaegse kehtimise nõue: Lihtlauseid ei saa enam jagada veelgi lihtsamateks lausearvutuslauseteks. " P ja Q " P∧Q Järeldumine :
annaabi.ee 
