Universaalikvanttori

Wikipedia
Loikkaa: valikkoon, hakuun

Universaalikvanttori eli kaikkikvanttori (\forall) on predikaattilogiikassa ilmaisu sille, että jokin ominaisuus tai suhde (looginen predikaatti) on totta kaikille jonkin joukon alkioille.

\forall\ x tarkoittaa "kaikilla x"
\forall\ x: P(x) tarkoittaa "kaikilla x pätee P(x)"

Universaalikvanttorin merkki tietokonejärjestelmissä[muokkaa | muokkaa wikitekstiä]

Merkki Unicode HTML
tunnus lohko
U+2200 Matemaattisia operaattoreita[1] ∀
∀
∀

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

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.