D7.2.2. Lausearvutuse tehe on formaalsete lausete hulgal defineeritud tehe, mille tulemi kuju 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
D7.2.2. Lausearvutuse tehe on formaalsete lausete hulgal defineeritud tehe, mille tulemi kuju 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
siis pole tegemist lausega lausearvutuse mõttes. Lausearvutuses võib lause asendada selle tõeväärtusega. Lause võib olla lihtlause või liitlause. Lausearvutuse tehteks nimetatakse niisugust lausetes kasutatavat seost, mille tõeväärtus on tema osalausete tõeväärtuste funktsioon. Lausearvutuse tähestik: · lausemuutujate sümbolid: A, B, C, B2, ... (suurtähed); (väiketähed: p, q, ... tähistavad metamuutujaid); · loogilised konstandid: tõene ja väär ; · loogiliste tehete sümbolid: ¬, &, , , (prioriteedi langemise järjekorras); · kirjavahemärgid: (), [ ] ; Tarvis on veel metasümboleid: · võrdusmärk ehk objektideevahelise võrduse seos: =; selle asemel võib (ja on mõnikord täpsemgi) kasutada samasuse sümbolit: ; · lausete vastastikune järeldumine ehk seos ,,siis ja ainult siis kui": · lause järeldumine teisest lausest ehk seos ,,kui ... siis ..." :
annaabi.ee 
