Eksistenssikvanttori

Eksistenssikvanttori eli olemassaolokvanttori ($\exists$) on predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde (looginen predikaatti) on totta ainakin yhdelle joukon alkiolle, eli jonkin ominaisuuden toteuttava alkio on olemassa.

$\exists\ x$ tarkoittaa "on olemassa $x$"

$\exists\ x: P(x)$ tarkoittaa "on olemassa $x$ siten, että $P(x)$"

Eksistenssikvanttorin merkki tietokonejärjestelmissä

Merkki	Unicode			HTML
	tunnus	nimi	lohko
∃	U+2203	ON OLEMASSA	Matemaattisia operaattoreita	∃ ∃ ∃
∄	U+2204	EI OLE OLEMASSA		∄ ∄

LaTeX-järjestelmällä merkki $\exists$ tuotetaan kirjoittamalla \exists, ja merkin $\nexists$ saa kirjoittamalla \nexists.

Katso myös

• Universaalikvanttori