Universaalikvanttori
predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde on totta kaikille jonkin joukon alkioille
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ä
muokkaaMerkki | Unicode | HTML | |
---|---|---|---|
tunnus | lohko | ||
∀ | U+2200 | Matemaattisia operaattoreita[1] | ∀ ∀ ∀ |
LaTeX-järjestelmällä merkki tuotetaan kirjoittamalla \forall.
Katso myös
muokkaaLähteet
muokkaa- ↑ Mathematical Operators (PDF) The Unicode Standard. 1991–2009. Viitattu 27.8.2010. (englanniksi)