Квантор общности (всеобщности) в логике и математике — логическая операция, которая ограничивает область истинности какого-либо предиката и создаёт высказывание. ru.wikipedia.org
Квантор общности (обозначение: ∀) читается: «для любого…», «для каждого…», «для всех…» или «каждый…», «любой…», «все…». ru.wikipedia.org
Некоторые значения квантора общности:
- Обобщение характеристик выборки на всю популяцию. nlp.academic.ru Кванторы общности представляют собой утверждения, которые не принимают во внимание никаких исключений. nlp.academic.ru
- Запись определённых высказываний. ru.wikipedia.org Например, с помощью квантора всеобщности можно формально записать такие высказывания, как «любое натуральное число кратно 9», «каждое натуральное число кратно 9», «все натуральные числа кратны 9». ru.wikipedia.org
- Превращение одноместного предиката в высказывание. amstarm.ru Применение квантора общности к предикату ставит в соответствие одноместному предикату некоторое высказывание, истинное или ложное в зависимости от исходного предиката. amstarm.ru