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 läbivalt B-ga ja q A-ga, siis tekib erikuju B & ¬A ∨ ¬B. Mis üldse on lausearvutuse valem? Lausearvutus on omaette keel ja seda, mis vastab mingi keele normidele ja mis mitte, määrab keele süntaks. D7.5. Lausearvutuse süntaks: lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil. 1
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 läbivalt B-ga ja q A-ga, siis tekib erikuju B & ¬A ¬B. Mis üldse on lausearvutuse valem? Lausearvutus on omaette keel ja seda, mis vastab mingi keele normidele ja mis mitte, määrab keele süntaks. D7.5. Lausearvutuse süntaks: lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil. 1
annaabi.ee 
