Universaalikvanttori

Wikipediasta
Siirry navigaatioon Siirry hakuun

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ä

[muokkaa | muokkaa wikitekstiä]
Merkki Unicode HTML
tunnus lohko
U+2200 Matemaattisia operaattoreita[1] ∀
∀
∀

LaTeX-järjestelmällä merkki tuotetaan kirjoittamalla \forall.

  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.