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 määratud operandide tõeväärtustega, kusjuures metamuutuja tõeväärtuseks on selle konkreetseks väärtuseks oleva lause tõeväärtus. 4 TÕEVRTUSTABELITEST (Kui üldine jutt liiga abstraktseks osutub, siis võiks allpool lihtsalt jälgida, kuidas tõesustabeleid kasutatakse.) Lausearvutuse formaalsete lausete ja metamuutujatest moodustatud avaldiste uurimiseks võib
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 määratud operandide tõeväärtustega, kusjuures metamuutuja tõeväärtuseks on selle konkreetseks väärtuseks oleva lause tõeväärtus. 4 TÕEVÄÄRTUSTABELITEST (Kui üldine jutt liiga abstraktseks osutub, siis võiks allpool
annaabi.ee 
