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)}$"

Eksistenssikvanttorin merkki tietokoneissa

Näyte	Unicode	Nimi	HTML-viittaus
Matemaattisia operaattoreita[1]
∃	U+2203	on olemassa	∃ ∃ ∃
∄	U+2204	ei ole olemassa	∄ ∄

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

Katso myös

• Universaalikvanttori

Lähteet

1. Mathematical Operators (PDF) The Unicode Standard. 1991–2009. Viitattu 27.8.2010. (englanniksi)

Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.