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 väärtusteks on lausemuutujatest moodustatud liitlaused, on metamuutujad; nendena käsutame väiketähti
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 väärtusteks on lausemuutujatest moodustatud liitlaused, on metamuutujad; nendena käsutame
annaabi.ee 
