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. Ka metamuutujatest võib moodustada tehete abil avaldisi, mille tõeväärtus on
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. Ka metamuutujatest võib moodustada tehete abil avaldisi, mille tõeväärtus on
annaabi.ee 
