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 

NäyteUnicodeNimiHTML-viittaus''Matemaattisia operaattoreita∃U+2203on olemassa&exist;&#8707;&#x2203;∄U+2204ei ole olemassa&#8708;&#x2204;

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

 Katso myös 

 Universaalikvanttori

Lähteet

Luokka:Logiikka