Egzistencijalni kvantifikator

Sud "postoji x P(x)" je istinit onda i samo onda ako je P(x) zadovoljiv u univerzumu razmatranja.

» Rječnik pojmova - matematička logika