Квантор —
Общее название для логических операций, к-рые по предикату Р(х)строят высказывание, характеризующее область истинности предиката Р(х). В математич.
Математическая энциклопедия
Квантор —
(от лат. quantum — сколько) логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения.
Большая советская энциклопедия