alltoodud reeglite abil: ○ iga lausemuutuja on lausearvutuse valem ○ kui F on lausearvutuse valem, siis ka ¬F on lausearvutuse valem ○ kui F ja G on lausearvutuse valemid, siis ka (F & G), (F ∨ G), (F → G) ja (F ↔ G) on lausearvutuse valemid 2 3. Väärtustus. Tõeväärtustabel. Samaselt tõene valem. Samaselt väär valem. Kehtestatav valem. Nende omaduste kontrollimine. Seosed valemiklasside vahel. [1] Väärtustus: o Juhul, kui vaatluse all on korraga hulk lausemuutujaid ja me omistame tõeväärtuse igale muutujale, siis nimetatakse sellist tõeväärtuste komplekti väärtustuseks. N: Olgu muutujatekomplekt A, B, C, siis nende üks võimalik väärtustus on A=1, B=0, C=1 ehk (1,0,1) Tõeväärtustabel: o Tehete toimet võib ülevaatlikumalt kirjeldada tõeväärtustabeliga, mille vasakus osas on valemi argumentide kõikvõimalikud väärtused,
i. Samaselt tõeseks, kui ta on igal väärtustusel tõene, valemi tõeväärtuste veerus peab esinema ainult väärtus 1. c.ii. Samaselt vääraks, kui ta on igal väärtustel väär, valemi tõeväärtuste veerus peab esinema ainult väärtus 0. d. Lausearvutuse valemit nimetatakse kehtestatavaks, kui ta on vähemalt ühel väärtustusel tõene. Sellise valemi tõeväärtuste veerus esineb väärtus 1. e. Seosed valemiklasside vahel e.i. Valem on samaselt tõene parajasti siis, kui tema eitus ¬ on samaselt väär. e.ii. Valem on kehtestatav parajasti siis, kui tema eitus ¬ ei ole samaselt tõene. e.iii. Tõestus. https://moodle.ut.ee/mod/url/view.php?id=78717 lk 14. 4) a. Valemeid ja nimetatakse samaväärseteks, kui nende tõeväärtused on võrdsed igal neis valemeis esinevate muutujate väärtustusel. b
· samaselt tõeseks, kui ta on igal väärtustusel tõene. · samaselt vääraks, kui ta on igal väärtustusel väär. Definitsioon Lausearvutuse valemit nimetatakse · kehtestatavaks, kui ta on vähemalt ühel väärtustusel tõene. · kummutatavaks, kui ta on vähemalt ühel väärtustusel väär · Iga samaselt tõene valem on ka kehtestatav. · Iga samaselt väär valem on ka kummutatav. · Valem on samaselt väär parajasti siis, kui ta pole kehtestatav. Seosed valemiklasside vahel: Lause: Valem on samaselt tõene parajasti siis, kui tema eitus ¬ on samaselt väär. TÕESTUS: Andes valemis esinevatele lausemuutujatele suvalise väärtustuse, näeme, et valemite ja ¬ tõeväärtused on vastupidised.Järelikult kui on igal väärtustusel tõene, siis ¬ on igal väärtustusel väär ja sama kehtib ka ümberpöördult. Lause: Valem on kehtestatav parajasti siis, kui tema eitus ¬ ei ole samaselt tõene. TÕESTUS:
annaabi.ee 
