Universaalikvanttori

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

 tarkoittaa "kaikilla "
 tarkoittaa "kaikilla  pätee "

Universaalikvanttorin merkki tietokonejärjestelmissä 

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

Katso myös 

 Eksistenssikvanttori
 Universaali

Lähteet

Logiikka