Кванторы

Ква́нторы — в логике и математике логические эквиваленты слов «все», «каждый» (кванторы общности), «некоторый», «существует» (кванторы существования); операторы, формализующие в исчислении предикатов логические свойства этих выражений. В математической логике приписывание квантора к формуле называется связыванием или навешиванием квантора. Термин образован от латинского quantum — сколько.