Eksistenssikvanttori

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 

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

Katso myös 

 Universaalikvanttori

Lähteet

Logiikka