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