Кванторы — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание. 1

В логике кванторы используются для превращения предиката в высказывание, поставив перед предикатом слова («все», «существует» и другие). 12 Например, квантор всеобщности (∀) читается как «для любого…», «для каждого…», «для всех…» или «каждый…», «любой…», «все…». 1 Квантор существования (∃) читается как «существует…» или «найдётся…». 1

В математике кванторы используются для сокращения записи утверждений и определений, а также превращения их записи в максимально ясный и однозначно понимаемый текст. 5