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
• Universaali