Eksistenssikvanttori eli olemassaolokvanttori () on predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde (looginen predikaatti) on totta ainakin yhdelle joukon alkiolle, eli jonkin ominaisuuden toteuttava alkio on olemassa.
tarkoittaa "on olemassa " tarkoittaa "on olemassa siten, että "
Eksistenssikvanttorin merkki tietokoneissa
NäyteUnicodeNimiHTML-viittaus''Matemaattisia operaattoreita∃U+2203on olemassa∃∃∃∄U+2204ei ole olemassa∄∄
LaTeX-järjestelmässä merkki tuotetaan kirjoittamalla \exists, ja merkin saa kirjoittamalla \nexists.
Katso myös
Universaalikvanttori
Lähteet
Luokka:Logiikka