definicija |
kvantifikator koji primjenom na predikat tvrdi da je za sve vrijednosti varijable pripadna izjava istinita |
istoznačnice |
dopušteni naziv: opći količitelj |
istovrijednice |
engleski: universal quantifier |
simbol |
$$\forall$$ |
suprotnica |
egzistencijalni kvantifikator |
napomena |
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. |
razredba |
polje: matematika |
vrela |
