Ква́нтор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание
Кванторы - символы, указывающие на количество чего-либо.
∀ - все, для любого...
∃ - некоторые, для некоторого...
Объяснение:
