struna tražilica

image shadow

univerzalni kvantifikator

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$$
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
grana: matematička logika i računarstvo
projekt: Izgradnja hrvatskoga nazivlja u matematici – temeljni pojmovi