Mis on Diskreetne Matemaatika
valemitekujul (predikaatvalem).
Predikaatmuutujate kohta tuleb alati eelnevalt täpsustada, milliseid KVANTORID ∀ ∃
väärtusi ta võib omandada ehk milline on predikaadi Kui soovime väita, et predikaat P (x) kehtib oma määramispiirkonna
määramispiirkond.
kõikide x-ide ( x1 x2 x3 . . . ) korral ehk:
Olgux täisarv ja vaatleme ühekohalist predikaati: P ( x1 ) ∧ P ( x2 ) ∧ P ( x3 ) ∧ P ( x4 ) ∧ . . . . = 1
P(x) ≡ (x > 2) ∧ (x < 4) siis kasutame sellise väite kompaktsemaks esitamiseks
üldsuse kvantorit: ∀
x = 3 saame tõese predikaatlause (predikaatvalemi):
annaabi.ee 
