Universaalikvanttori

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

${\displaystyle \forall \ x}$ tarkoittaa "kaikilla ${\displaystyle x}$"

${\displaystyle \forall \ x:P(x)}$ tarkoittaa "kaikilla ${\displaystyle x}$ pätee ${\displaystyle P(x)}$"

Universaalikvanttorin merkki tietokonejärjestelmissä

LaTeX-järjestelmällä merkki ${\displaystyle \forall }$ tuotetaan kirjoittamalla \forall.

Katso myös

• Eksistenssikvanttori
• Universaali

Lähteet