Diskreetse matemaatika elemendid
kohta midagi väidetud. Sealhulgas võib tähisena kasutada ka sedasama muutujat , kui ta ei esine
eeldustes (vaba muutujana).
11. **Kvantorite distributeerumine konjunktsiooni ja
disjunktsiooniga. **Kvantorite ettetoomine. [3]
o Kvantorite distributiivsus:
8x(F(x) & G(x)) = 8xF(x) &8xG(x),
9x(F(x) v G(x)) = 9xF(x) v9xG(x).
o vajaduse korral konjunktsiooni ja disjunktsiooni kommutatiivsust,
toome kvantorid osavalemite eest valemi ette.
HULGAD, FUNKTSIOONID
10
12. Hulgateooria alusmõisted: hulk, element, hulkade
võrdsus, tühi hulk. [3, 4, 5]
Hulk
o üksteisest erinevate objektide kohumit, mida vaadeldakse ühe tervikuna ja kus iga objekti
korral on võimalik üheselt kindlaks määrata, kas ta kuulub antud hulka.
Element
o hulka kuuluv objekt
Hulkade võrdsus
annaabi.ee 
