kvantor

kvantor (skraćeno od kvantifikator), logička čestica kojom se od nekih predikata konstruiraju novi predikati; kvantor generalizacije (znak ∀), npr. u iskazu (∀x) P(x), znači za »svaki x je P(x); kvantor egzistencije (znak ∃), npr. u iskazu (∃x) P(x), znači »postoji barem jedan x takav da je P(x)«. Pojam kvantor uveo je u logiku Gottlob Frege u drugoj polovici XIX. st. U modernoj matematičkoj teoriji pripada tzv. algebri predikata koja je dio algebre logike.