Eeldus saab olla tõene, järeldus ei saa olla väär, järeldus on tautoloogia – on paratamatult nii, et peaminister on kas naine või on mees, tegemist on kehtiva arutlusega, aga kas korrektne? Loogikasiseselt otsustada ei saa Lauseloogika süntaks ja semantika Kõige olulisem sümbol ongi lause, täpsemini lihtlause: lihtlause – A, B, C, …, võib kasutada ka täisarvulisi indekseid A1 või B3, sümbolitest puudu ei tule liht- või liitlause tähiseks üldiselt on metamuutuja – kasutatakse gooti või kreeka tähti Loogikatehted: põhieesmärk anda eeskirjad, kuidas lihtlausetest korrektselt moodustada liitlauseid 1. Eitus e negatsioon ~A (TILDE), ¬A, A ’pole tõsi, et’ 2. Konjunktsioon &(AMPERSAND), ^, A & B sidesõna ’ja’ või ’ning’ Sidesõna ’ja’ või ’ning’ kasutamine ei tähenda tingimata konjunktsiooni, vahel peame vaatama lihtlausena: Jüri ja Mari on üliõpilased.
on üheselt määratud operandide ja tehtesümboliga. Lauset, mis ei sisalda tehtesümboleid ja millele saab sõltuvalt interpretatsioonist omistada erinevaid tõeväärtusi, nimetatakse lausemuutujaks. Lausearvutuses tähistatakse lausemuutujat tavaliselt suurtähega, nt A või C. Lausearvutuses kasutatakse ka metamuutujaid: tegemist on sümbolitega, mis ei ole lausemuutujad, vaid muutujad, mille väärtusteks on konkreetsed laused. Vastavalt konkreetse lause tõeväärtusele omandab ka metamuutuja sel puhul konkreetse tõeväärtuse. Lausearvutuses tähistatakse metamuutujat tavaliselt väiketähega, nt p või t. Valem on lauseloogikas avaldis, mis sisaldab lausemuutujaid või metamuutujaid. Lihtlause koosneb vaid ühest lausemuutujast. Lihtlausetest saab tehete abil moodustada liitlauseid. Mingi tehte abil moodustatud liitlause tõeväärtus on määratud operandide tõeväärtustega, mis omakorda sõltuvad konkreetsest interpretatsioonist. Muutujad, mille
on üheselt määratud operandide ja tehtesümboliga. Lauset, mis ei sisalda tehtesümboleid ja millele saab sõltuvalt interpretatsioonist omistada erinevaid tõeväärtusi, nimetatakse lausemuutujaks. Lausearvutuses tähistatakse lausemuutujat tavaliselt suurtähega, nt A või C. Lausearvutuses kasutatakse ka metamuutujaid: tegemist on sümbolitega, mis ei ole lausemuutujad, vaid muutujad, mille väärtusteks on konkreetsed laused. Vastavalt konkreetse lause tõeväärtusele omandab ka metamuutuja sel puhul konkreetse tõeväärtuse. Lausearvutuses tähistatakse metamuutujat tavaliselt väiketähega, nt p või t. Valem on lauseloogikas avaldis, mis sisaldab lausemuutujaid või metamuutujaid. Lihtlause koosneb vaid ühest lausemuutujast. Lihtlausetest saab tehete abil moodustada liitlauseid. Mingi tehte abil moodustatud liitlause tõeväärtus on määratud operandide tõeväärtustega, mis omakorda sõltuvad konkreetsest interpretatsioonist. Muutujad, mille
annaabi.ee 
