Eksistenssikvanttori

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

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

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

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

• Universaalikvanttori