Eksistenssikvanttori

Wikipediasta
Siirry navigaatioon Siirry hakuun

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

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

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

  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.