Diskreetse matemaatika elemendid, eksami konspekt
Lausearvutus
1)
a. Lausearvutuse lausetele esitatavad tingimused:
a.i. Välistatud kolmanda seadus. Iga lause on kas tõene või väär.
a.ii. Mittevasturääkivuse seadus. Ükski lause ei saa olla nii tõene kui ka
väär.
a.iii. Tehteid võib teostada ükskõik milliste lausetega.
a.iv. Tehte tulemuseks saadud lause tõeväärtus sõltub ainult
komponentlausete tõeväärtustest.
2)
a. Eitus (märk ¬). Lause mittekehtimine.
b. Konjunktsioon (märk &) tähendab seost ,,ja".
c. Disjunktsioon (märk ) väljendab seost ,,või". Siin on kasutusel mittevälistav
,,või".
d. Implikatsioon (märk ) väljendab tingimuslikku konstruktsiooni ,,kui ..., siis
...".
e. Ekvivalents (märk ) tähendab matemaatikas sagedasti kasutatavat seost
,,parajasti siis, kui".
f. Tehete järjekord kõrgemast madalamani ¬, &, , , .
...