Univerzalni kvantifikator

Sud "za svaki x P(x)" je istinit onda i sao onda ako P(x) vrijedi u univerzumu razmatranja.

» Rječnik pojmova - matematička logika