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 on asendatud läbivalt A-ga ja q U-ga, siis tekib erikuju A & ¬U ∨ ¬A; kui p on asendatud
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 on asendatud läbivalt A-ga ja q U-ga, siis tekib erikuju A & ¬U ¬A; kui p on asendatud
annaabi.ee 
