Квантор всеобщности (обозначения: , ∀) — это условие, которое верно для всех обозначенных элементов, в отличие от квантора существования, где условие верно только для каких-то отдельных из указанных чисел. Формально говоря, это квантор, используемый для обозначения того, что множество целиком лежит в области истинности указанного предиката. Читается как: «для всех…», «для каждого…» или «каждый…», «любой…», «для любого…».
Квантор всеобщности — это попытка формализации обозначения того, что нечто (логическое выражение) истинно для всего, или для любой относящейся к делу сущности. Применяется в предикатной логике и символической логике.
Выражение читается так:
Квантор всеобщности символ, квантор всеобщности в латехе, квантор всеобщности в логике, квантор всеобщности в математике.
Министерство иностранных дел и торговли Республики Корея, Литас.