КВАНТОРЫ

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