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)}$"