Eksistenssikvanttori

Eksistenssikvanttori eli olemassaolokvanttori ($\mathrm{\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.

$\mathrm{\exists }x$ tarkoittaa "on olemassa $x$"

$\mathrm{\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 $\mathrm{\exists }$ tuotetaan kirjoittamalla \exists, ja merkin $\nexists$ saa kirjoittamalla \nexists.

Katso myös

• Universaalikvanttori