polje: matematika
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi
kvantifikator koji primjenom na predikat tvrdi da je za sve vrijednosti varijable pripadna izjava istinita
kvantifikator koji primjenom na predikat tvrdi da je za sve vrijednosti varijable pripadna izjava istinita
Rod: nema
Vrsta riječi: višerječni naziv
Suprotnica: egzistencijalni kvantifikator
Simbol: $\forall$
Primjenom univerzalnoga kvantifikatora na predikat $P(x)$ dobija se izjava $(\forall x)P(x)$, koja se čita kao za svaki iks pe iks. Ta je izjava istinita ako je za svaku vrijednost $a$ varijable $x$ izjava $P(a)$ istinita.