Universaalikvanttori
Universaalikvanttori eli kaikkikvanttori () on predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde (looginen predikaatti) on totta kaikille jonkin joukon alkioille.
- tarkoittaa "kaikilla "
- tarkoittaa "kaikilla pätee "
Universaalikvanttorin merkki tietokonejärjestelmissä
Merkki | Unicode | HTML | |
---|---|---|---|
tunnus | lohko | ||
∀ | U+2200 | Matemaattisia operaattoreita[1] | ∀ ∀ ∀ |
LaTeX-järjestelmällä merkki tuotetaan kirjoittamalla \forall.
Katso myös
- Eksistenssikvanttori
- Universaali
Lähteet
- ↑ 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.