КВАНТОРЫ

КВАНТОРЫ (от лат. quantum — сколько) — в логике и математике — логические эквиваленты слов "все", "каждый" и т. п. (кванторы общности) — "некоторый", "существует" (кванторы существования) и др.; операторы, формализующие в исчислении предикатов логические свойства этих выражений.