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






Ссылка на выделенный текст