"muutujatekomplekt" - 1 õppematerjal

Diskreetse matemaatika elemendid

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, paremas osas aga tehete tulemused. Samaselt tõene valem: o Lausearvutuse valemit F nimetatakse samaselt tõeseks, kui ta on igal väärtusel tõene. o tautoloogia, loogiliselt tõene valem N: A ∨ ¬A