"78717" - 1 õppematerjal

Diskreetse matemaatika elemendid, eksami konspekt

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. Põhisamaväärsused. https://moodle.ut.ee/mod/url/view.php?id=78717 lk 22. c. Samaväärsuste kasutamine teisendustes seisneb valemi mingi osavalemi asendamises temaga samaväärsega. Nagu algebras, säilitab selline osavalemi asendamine ka siin samaväärsuse ka terve valemi jaoks. d. Teoreem