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ä MerkkiUnicodeHTML tunnus lohko∀U+2200Matemaattisia operaattoreita∀∀∀
LaTeX-järjestelmällä merkki tuotetaan kirjoittamalla \forall.
Katso myös
Eksistenssikvanttori Universaali
Lähteet
Luokka:Logiikka