Квантор всеобщности
Материал из Википедии — свободной энциклопедии
 |
Эта статья или раздел нуждается в переработке.
Пожалуйста, улучшите её в соответствии с правилами написания статей.
|
Квантор всеобщности — это условие, которое верно для всех обозначенных чисел, в отличии от квантора существования, где условие верно только для каких-то отдельных из указанных чисел.
В предикатной логике, квантор всеобщности — это попытка формализации обозначения того, что нечто (логическое выражение) истинно для всего, или для любой относящейся к делу сущности.
В символической логике, квантор всеобщности (обычно ∀) — это символ, обозначающий всеобщность и часто неформально читается как «для любого» или «для всех».
[править] Варианты чтения
Выражение 
читается так:
- для любого (всякого, каджого) [значения] x из X P(x) [истинно]
- всякий (любой, каждый) элемент x множества X (где X — множество значений переменной x) обладает свойством P(x)
- каково бы ни было x, P(x) истинно
