Mis on Diskreetne Matemaatika
määramispiirkonna x-i korral ehk:
∃x [ ( x > 2 ) ∧ ( x < 4 ) ]
P ( x1 ) ∨ P ( x2 ) ∨ P ( x3 ) ∨ P ( x4 ) ∨ . . . . = 1 Kvantorite määratlusest järeldub:
siis kasutame sellise väite kopaktsemaks esitamiseks Kui lause ∀ x P ( x) osutub tõeseks, siis ∃x P (x) on samuti tõene.
olemasolu kvantorit ehk eksistentsikvantorit ∃ :
Kvantorimärgiga seotud muutujat (muutujaid) nimetatakse seotud
∃ x P ( x) muutujateks.
ehk üldkujul: ∃x ( . . . mistahes lause muutuja x osalusel . . . ) Kvantorimärgiga mitteseotud predikaatmuutujad on vabad muutujad.
Üldsuse kvantorit ∃ interpreteeritakse valemi lugemisel: "leidub" ehk
"eksisteerib"
annaabi.ee 
