Eksistenssikvanttori

Wikipedia
Loikkaa: valikkoon, hakuun

Eksistenssikvanttori eli olemassaolokvanttori (\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.

\exists\ x tarkoittaa "on olemassa x"
\exists\ x: P(x) tarkoittaa "on olemassa x siten, että P(x)"

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 \exists tuotetaan kirjoittamalla \exists, ja merkin \nexists saa kirjoittamalla \nexists.

Katso myös[muokkaa | muokkaa wikitekstiä]

Lähteet[muokkaa | muokkaa wikitekstiä]

  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.