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		∄ ∄

Katso myös

• Universaalikvanttori