Universaalikvanttori

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ä

Merkki	Unicode		HTML
	tunnus	lohko
∀	U+2200	Matemaattisia operaattoreita	∀ ∀ ∀

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

Katso myös

• Eksistenssikvanttori