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 tietokoneissa

Näyte	Unicode	Nimi	HTML-viittaus
Matemaattisia operaattoreita
∃	U+2203	on olemassa	∃ ∃ ∃
∄	U+2204	ei ole olemassa	∄ ∄

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

Katso myös

• Universaalikvanttori