Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążącym zmienne w formułach. Są podstawowym elementem w rozwoju logiki pierwszego rzędu.
Kwantyfikatory odgrywają ważną rolę w formułowaniu twierdzeń i definicji matematycznych.
Kwantyfikator ogólny i szczegółowy
Zwrot dla każdego x nazywa się kwantyfikatorem ogólnym, kwantyfikatorem dużym lub kwantyfikatorem uniwersalnym wiążącym zmienną Kwantyfikator ogólny oznacza się symbolem lub sporadycznie można spotkać również symbol (x) użyty w tym kontekście.
Zwrot istnieje takie x, że... uważa się za równoważny zwrotowi: dla pewnego x i nazywa się kwantyfikatorem szczegółowym, kwantyfikatorem małym lub kwantyfikatorem egzystencjalnym wiążącym zmienną Kwantyfikator szczegółowy oznacza się symbolem lub rzadziej także symbolem (Ex).
Stosowany jest także kwantyfikator a wypowiedź w tym przypadku brzmi: „istnieje dokładnie jeden x”. Formuły używające tego kwantyfikatora można zredukować do formuł odwołujących się tylko do Np. zdanie jest równoważne