Mis on Diskreetne Matemaatika
. . ) 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):
Väärtustades ∀ x P ( x)
P(3) = (3 > 2) ∧ (3 < 4) = 1 ehk üldkujul: ∀x ( . . . mistahes lause muutuja x osalusel . . . )
ehk
Kui kvantorit rakendatakse üksikule predikaaditähisele, võib sulud ära jätta.
annaabi.ee 
