Rindlause Rindlauseks nimetatakse liitlauset, mis koosneb kahest või enamast kõrvuti asetsevast samaväärsest osalausest. Rindlauses asuvad osalaused üldiselt järjestikku ning need on suhteliselt iseseisvad. Rindlauset saame kergesti muuta lihtlauseteks. Nt. Tõnu sõi ja jõi. Tõnu sõi. Tõnu jõi. Et ühendada lauseosi, kasutatakse komastamist, sidesõnu, üldlaiendeid või kirjavahemärke. Ühendavad sidesõnad ja, ning, ega. Nende ette koma ei panda. o Nt. Marju pesi pesu ja laulis. Eile tantsiti ning lauldi kogu öö. Ma ei joo ega suitseta. Eraldav sidesõna või, mille ees koma ei kasutata. o Nt. Kas sa tantsid või laulad?
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 . .
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 : Lausearvutuslauseid tähistame formaalselt suurtähtedega: A, B, P, Q . . .
tõeväärtusest (truth value), mille nimetusteks on tõene (true) või väär (false). Lausete tõeväärtusi tõene ja väär tähistatakse mitmesugustel viisidel. Ingliskeelsetes tekstides on kõige levinumateks variantideks vastavate ingliskeelsete sõnade esitähed T ja F või numbrid l ja 0. Eesti keeles kasutatakse samuti numbreid või tähistepaari T ja V või t ja v. Lihtväiteid nimetatakse lauseloogikas lihtlauseteks. Lausete tõeväärtus tuleneb kas lause enda loogilisest vormist, antakse otseselt ette või antakse ette loogikavälise kontekstiga. Võib esineda olukordi, kus lause tõeväärtus pole teada, kuid see peab põhimõtteliselt olemas olema, vastasel juhul pole tegemist lausega lausearvutuse mõttes. Lauseloogikas uuritakse liitlauseid, mille tõeväärtus on määratud osalausete ehk komponentlausete tõeväärtustega. Mitte igasuguse liitlause
tõeväärtusest (truth value), mille nimetusteks on tõene (true) või väär (false). Lausete tõeväärtusi tõene ja väär tähistatakse mitmesugustel viisidel. Ingliskeelsetes tekstides on kõige levinumateks variantideks vastavate ingliskeelsete sõnade esitähed T ja F või numbrid l ja 0. Eesti keeles kasutatakse samuti numbreid või tähistepaari T ja V või t ja v. Lihtväiteid nimetatakse lauseloogikas lihtlauseteks. Lausete tõeväärtus tuleneb kas lause enda loogilisest vormist, antakse otseselt ette või antakse ette loogikavälise kontekstiga. Võib esineda olukordi, kus lause tõeväärtus pole teada, kuid see peab põhimõtteliselt olemas olema, vastasel juhul pole tegemist lausega lausearvutuse mõttes. Lauseloogikas uuritakse liitlauseid, mille tõeväärtus on määratud osalausete ehk komponentlausete tõeväärtustega. Mitte igasuguse liitlause
annaabi.ee 
