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äyte | Unicode | Nimi | HTML-viittaus |
|---|---|---|---|
| Matemaattisia operaattoreita | |||
| ∃ | U+2203 | on olemassa | ∃ ∃ ∃ |
| ∄ | U+2204 | ei ole olemassa | ∄ ∄ |
LaTeX-järjestelmässä merkki 
Katso myös
Lähteet
This article uses material from the Wikipedia Suomi article Eksistenssikvanttori, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Sisältö on käytettävissä lisenssillä CC BY-SA 4.0, ellei toisin mainita. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Suomi (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.