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ä 
MerkkiUnicodeHTML tunnus  lohko∀U+2200Matemaattisia operaattoreita&forall;&#8704;&#x2200;

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

 Katso myös 

 Eksistenssikvanttori
 Universaali

Lähteet

Luokka:Logiikka