- Квантор всеобщности
-
Квантор всеобщности (обозначения:
, ∀) — это условие, которое верно для всех обозначенных элементов, в отличие от квантора существования, где условие верно только для каких-то отдельных из указанных чисел. Формально говоря, это квантор, используемый для обозначения того, что множество целиком лежит в области истинности указанного предиката. Читается как: «для всех…», «для каждого…» или «каждый…», «любой…», «для любого…».
Квантор всеобщности — это попытка формализации обозначения того, что нечто (логическое выражение) истинно для всего, или для любой относящейся к делу сущности. Применяется в предикатной логике и символической логике.
Варианты чтения
Выражение
читается так:
- для любого (всякого, каждого) [значения] x из X P(x) [истинно];
- всякий (любой, каждый) элемент x множества X (где X — множество значений переменной x) обладает свойством P(x);
- каково бы ни было x, P(x) истинно.
См. также
Для улучшения этой статьи по математике желательно?: - Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.
- Добавить иллюстрации.
Категория:- Математическая логика
Wikimedia Foundation. 2010.