Квантор (quantifier) — общее название логических операций, которые по предикату строят высказывание, дающее характеристику области истинности этого предиката. К. всеобщности означает, что область истинности предиката совпадает с областью значения переменной. К. существования означает, что область истинности предиката непуста. К. широко используются в естественном языке: К. всеобщности выражается словами для, для всякого и др., К. существования — словами существует, найти и др.
[Словарь понятий по информатике от И до М. (Электронный ресурс). Режим доступа: http:// asemenov77.narod.ru›slovim.html /, свободный.]