egzistencijalni kvantifikator

definicija	kvantifikator koji primjenom na predikat tvrdi da je za određenu vrijednost varijable pripadna izjava istinita
istoznačnice	dopušteni naziv: opstojni količitelj
istovrijednice	engleski: existential quantifier
simbol	$$\exists$$
suprotnica	univerzalni kvantifikator
napomena	Primjenom egzistencijalnoga kvantifikatora na predikat $P(x)$ dobija se izjava $(\exists x)P(x)$, koja se čita kao postoji iks pe iks. Ta je izjava istinita ako je za određenu vrijednost $a$ varijable $x$ izjava $P(a)$ istinita.
razredba	polje: matematika grana: matematička logika i računarstvo projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
vrela