Diskreetne matemaatika eksami kordamise materjal
kuna nende abil saab esitada kõik teised tehted.
Lausearvutus valem on lausearvutuslause tähis ja üksik tõeväärtus.
Prioriteedijärjestus loogikatehetele on inversioon, konjunktsioon,
disjunktsioon, implikatsioon, ekvivalents.
Lause on samaselt tõene, kui lause omab tõeväärtust 1 ükskõik milliste
väärtuskombinatsioonide korral. Tautoloogia.
Lause on samasselt väär, kui lause omab tõeväärtust 0 ükskõik milliste
väärtuskombinatisoonide korral. Vastuolu.
Predikaat on lause, mis sisaldab ühte või enamat muutujat.
Predikaat omab tõeväärtuse, kui muutujale omistada tõeväärtus.
Predikaati tähistatakse suure tähega ja muutujat väiksega.
Ühekohaline predikaat omab ühte muutujat, kahekohaline kahte muutujat.
Ühekohalist predikaati nimetatakse omaduseks.