Lause tõeväärtus sõltub interpretatsioonist ning see, millist lauset lausemuutuja tavakeeles väljendab, sõltub tõlkimisest, sellest, kuidas me lausemuutujat tõlgendame. Metamuutujate väärtusteks on lausemuutujad ning nendest koostatud avaldised. Lausearvutuses tähistatakse lausemuutujaid tavaliselt suurtähega ja metamuutujaid väiketähega. Metamuutujaid sisaldavaid valemeid nimetatakse lausevormideks. Lausevorm ei ole lause, vaid muutub lauseks, kui metamuutujad asendatakse konkreetse lausemuutujaga või lausemuutujatest koostatud avaldisega (liitlausega), kusjuures asendada tuleb kõik metamuutuja esinemised. Võib öelda, et kui lausevormis asendatakse metamuutujad lausemuutujatega, siis on tegemist lausevormi erijuhtude või erikujudega, ning need on laused. Igal lausevormil võib olla kui tahes palju erikujusid. Nt lausevorm p & ¬q ∨ ¬p. Kui p
Lause tõeväärtus sõltub interpretatsioonist ning see, millist lauset lausemuutuja tavakeeles väljendab, sõltub tõlkimisest, sellest, kuidas me lausemuutujat tõlgendame. Metamuutujate väärtusteks on lausemuutujad ning nendest koostatud avaldised. Lausearvutuses tähistatakse lausemuutujaid tavaliselt suurtähega ja metamuutujaid väiketähega. Metamuutujaid sisaldavaid valemeid nimetatakse lausevormideks. Lausevorm ei ole lause, vaid muutub lauseks, kui metamuutujad asendatakse konkreetse lausemuutujaga või lausemuutujatest koostatud avaldisega (liitlausega), kusjuures asendada tuleb kõik metamuutuja esinemised. Võib öelda, et kui lausevormis asendatakse metamuutujad lausemuutujatega, siis on tegemist lausevormi erijuhtude või erikujudega, ning need on laused. Igal lausevormil võib olla kui tahes palju erikujusid. Nt lausevorm p & ¬q ¬p. Kui p
annaabi.ee 
