Квантор всеобщности (обозначения: , ∀) — это условие, которое верно для всех обозначенных элементов, в отличие от квантора существования, где условие верно только для каких-то отдельных элементов из указанного множества. Формально говоря, это квантор, используемый для обозначения того, что множество целиком лежит в области истинности указанного предиката. Читается как «для всех…», «для каждого…», «для любого…» или «все…», «каждый…», «любой…».
Квантор всеобщности — это попытка формализации обозначения того, что нечто (логическое выражение) истинно для всего, или для любой относящейся к делу сущности. Применяется в предикатной логике и символической логике.
Выражение читается так:
В теории кванторов Пирса кванторы трактуются как функции логического выбора. Квантор существования оставляет возможность для говорящего сделать выбор объекта в универсуме дискурса, тогда как квантор всеобщности дает такую функцию выбора воспринимающему (интерпретатору).
Символ для квантора всеобщности введён Герхардом Генценом в 1935 году по аналогии с символом квантора существования , введённым Джузеппе Пеано в 1897 году.
Концепция была предложена ранее в книге Begriffsschrift (Исчисление понятий) (1879) Готлоба Фреге.
Графема | Название | Юникод | HTML | LaTeX |
---|---|---|---|---|
∀ | FOR ALL | U+2200 | ∀ |
\forall |
В теоретико-игровой семантике Яакко Хинтикки квантор всеобщности называется «Абеляром», а квантор существования — «Элоизой».
Для улучшения этой статьи по математике желательно: |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .