existenčný kvantifikátor

existenčný kvantifikátor, malý kvantifikátor — symbol \(\exists\) predikátového počtu (časť matematickej logiky) priraďujúci k predikátu \(P\) výrok \(\exists xP(x)\) (číta sa: existuje taký prvok \(x\), pre ktorý platí \(P(x))\), ktorého obsahom je tvrdenie, že množina pravdivosti predikátu \(P\) je neprázdna; napr. výrok \(\exists x \in \mathbb C |x| = 1\) tvrdí, že existuje (aspoň jedno) komplexné číslo, ktorého absolútna hodnota sa rovná 1.