Большая Советская энциклопедия - квантор

(от лат. quantum — сколько)

логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа «все», «каждый», «некоторый», «существует», «имеется», «любой», «всякий», «единственный», «несколько», «бесконечно много», «конечное число», а также все количественные числительные. В формализованных языках (См. Формализованный язык), составной частью которых является Исчисление предикатов, для выражения всех подобных характеристик оказывается достаточным К. двух видов: К. (все) общности (оборот «для всех х», обозначается через ∀x, (∀x), (x) (Ax), .