Universaalikvanttori

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

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

$\mathrm{\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 $\mathrm{\forall }$ tuotetaan kirjoittamalla \forall.

Katso myös

• Eksistenssikvanttori
• Universaali