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	∀ ∀ ∀

Katso myös

• Eksistenssikvanttori