Movatterモバイル変換

[0]ホーム
URL:

Siirry sisältöön
Wikipedia
Haku

Universaalikvanttori

Wikipediasta

Universaalikvanttori elikaikkikvanttori (∀{\displaystyle \forall }) onpredikaattilogiikassa ilmaisu sille, että jokinominaisuus taisuhde (looginen predikaatti) on totta kaikille jonkinjoukonalkioille.

∀ x{\displaystyle \forall \ x} tarkoittaa "kaikillax{\displaystyle x}"
∀ x:P(x){\displaystyle \forall \ x:P(x)} tarkoittaa "kaikillax{\displaystyle x} päteeP(x){\displaystyle P(x)}"

Universaalikvanttorin merkki tietokonejärjestelmissä

[muokkaa |muokkaa wikitekstiä]
MerkkiUnicodeHTML
tunnuslohko
∀U+2200Matemaattisia operaattoreita[1]∀
∀
∀

LaTeX-järjestelmällä merkki∀{\displaystyle \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 ontynkä. Voit auttaa Wikipediaalaajentamalla artikkelia.
Noudettu kohteesta ”https://fi.wikipedia.org/w/index.php?title=Universaalikvanttori&oldid=15283138”
Luokka:
Piilotetut luokat:
[8]ページ先頭
©2009-2025 Movatter.jp