Википедия

Квантор всеобщности: различия между версиями

Интерактивная навигация по истории
[отпатрулированная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
м робот добавил: fa:سور عمومی
Нет описания правки
Строка 1:
{{чистить}}
 
Квантор всеобщности — это условие, которое верно для '''всех''' обозначенных элементов, в отличие от [[квантор существования|''квантора существования'']], где условие верно только для каких-то '''отдельных''' из указанных чисел.
 
'''Квантор всеобщности''' <math>\forall</math> — [[квантор]] используемый для обозначения того что какое-то множество целиком лежит в области истинности какого-либо [[предикат|предиката]]. Читается как: «для всех…», «для каждого…» или «каждый…», «любой…», «для любого…».
В [[Предикатная логика|предикатной логике]], '''кванторКвантор всеобщности''' — это попытка формализации обозначения того, что нечто ([[логическое выражение]]) истинно для ''всего'', или для любой относящейся к делу сущности. Применяется в [[Предикатная логика|предикатной логике]] и [[символическая логика|символической логике]].
 
В [[символическая логика|символической логике]], '''квантор всеобщности''' (обычно ∀) — это символ, обозначающий всеобщность и часто неформально читается как «для любого» или «для всех».
 
== Варианты чтения ==
Источник — https://ru.wikipedia.org/wiki/Квантор_всеобщности