nagu oleks formaalsed laused asendatud oma tõeväärtustega. Selle kohta öeldakse, et samale tehtesümbolile vastab sama tõeväärtusfunktsioon nii loogikaalgebras kui ka lausearvutuses. D7.2.2. Lausearvutuse tehe on formaalsete lausete hulgal defineeritud tehe, mille tulemi kuju on üheselt määratud operandide ja tehtesümboliga. Lauset, mis ei sisalda tehtesümboleid ja millele saab sõltuvalt interpretatsioonist omistada erinevaid tõeväärtusi, nimetatakse lausemuutujaks. Lausearvutuses tähistatakse lausemuutujat tavaliselt suurtähega, nt A või C. 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.
nagu oleks formaalsed laused asendatud oma tõeväärtustega. Selle kohta öeldakse, et samale tehtesümbolile vastab sama tõeväärtusfunktsioon nii loogikaalgebras kui ka lausearvutuses. D7.2.2. Lausearvutuse tehe on formaalsete lausete hulgal defineeritud tehe, mille tulemi kuju on üheselt määratud operandide ja tehtesümboliga. Lauset, mis ei sisalda tehtesümboleid ja millele saab sõltuvalt interpretatsioonist omistada erinevaid tõeväärtusi, nimetatakse lausemuutujaks. Lausearvutuses tähistatakse lausemuutujat tavaliselt suurtähega, nt A või C. 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
annaabi.ee 
