Квантор всеобщности

Квантор всеобщности (обозначения: <math>\forall</math>, ∀) — это условие, которое верно для всех обозначенных элементов, в отличие от квантора существования, где условие верно только для каких-то отдельных элементов из указанного множества. Формально говоря, это квантор, используемый для обозначения того, что множество целиком лежит в области истинности указанного предиката. Читается как «для всех…», «для каждого…», «для любого…» или «все…», «каждый…», «любой…».

Квантор всеобщности — это попытка формализации обозначения того, что нечто (логическое выражение) истинно для всего, или для любой относящейся к делу сущности. Применяется в предикатной логике и символической логике.

Варианты чтения

Выражение <math>(\forall x\in X) P(x)</math> читается так:

• для любого (всякого, каждого) [значения] x из X P(x) [истинно];
• всякий (любой, каждый) элемент x множества X (где X — множество значений переменной x) обладает свойством P(x);
• каково бы ни было x, P(x) истинно.

Интерпретации

В теории кванторов Пирса кванторы трактуются как функции логического выбора. Квантор существования оставляет возможность для говорящего сделать выбор объекта в универсуме дискурса, тогда как квантор всеобщности дает такую функцию выбора воспринимающему (интерпретатору).

История

Символ <math>\forall</math> для квантора всеобщности введён Герхардом Генценом в 1935 году по аналогии с символом квантора существования <math>\exists</math>, введённым Джузеппе Пеано в 1897 году.

Концепция была предложена ранее в книге Begriffsschrift (Исчисление понятий) (1879) Готлоба Фреге.

Кодировка

Графема	Название	Юникод	HTML	LaTeX
∀	FOR ALL	U+2200	∀	\forall

Факты

В теоретико-игровой семантике Яакко Хинтикки квантор всеобщности называется «Абеляром», а квантор существования — «Элоизой».

Отрывок, характеризующий Квантор всеобщности

– Oui, Sire. [Да, государь.]
– Mais le riz? [Но рис?]
Рапп отвечал, что он передал приказанья государя о рисе, но Наполеон недовольно покачал головой, как будто он не верил, чтобы приказание его было исполнено. Слуга вошел с пуншем. Наполеон велел подать другой стакан Раппу и молча отпивал глотки из своего.
– У меня нет ни вкуса, ни обоняния, – сказал он, принюхиваясь к стакану. – Этот насморк надоел мне. Они толкуют про медицину. Какая медицина, когда они не могут вылечить насморка? Корвизар дал мне эти пастильки, но они ничего не помогают. Что они могут лечить? Лечить нельзя. Notre corps est une machine a vivre. Il est organise pour cela, c'est sa nature; laissez y la vie a son aise, qu'elle s'y defende elle meme: elle fera plus que si vous la paralysiez en l'encombrant de remedes. Notre corps est comme une montre parfaite qui doit aller un certain temps; l'horloger n'a pas la faculte de l'ouvrir, il ne peut la manier qu'a tatons et les yeux bandes. Notre corps est une machine a vivre, voila tout. [Наше тело есть машина для жизни. Оно для этого устроено. Оставьте в нем жизнь в покое, пускай она сама защищается, она больше сделает одна, чем когда вы ей будете мешать лекарствами. Наше тело подобно часам, которые должны идти известное время; часовщик не может открыть их и только ощупью и с завязанными глазами может управлять ими. Наше тело есть машина для жизни. Вот и все.] – И как будто вступив на путь определений, definitions, которые любил Наполеон, он неожиданно сделал новое определение. – Вы знаете ли, Рапп, что такое военное искусство? – спросил он. – Искусство быть сильнее неприятеля в известный момент. Voila tout. [Вот и все.]
Рапп ничего не ответил.
– Demainnous allons avoir affaire a Koutouzoff! [Завтра мы будем иметь дело с Кутузовым!] – сказал Наполеон. – Посмотрим! Помните, в Браунау он командовал армией и ни разу в три недели не сел на лошадь, чтобы осмотреть укрепления. Посмотрим!
Он поглядел на часы. Было еще только четыре часа. Спать не хотелось, пунш был допит, и делать все таки было нечего. Он встал, прошелся взад и вперед, надел теплый сюртук и шляпу и вышел из палатки. Ночь была темная и сырая; чуть слышная сырость падала сверху. Костры не ярко горели вблизи, во французской гвардии, и далеко сквозь дым блестели по русской линии. Везде было тихо, и ясно слышались шорох и топот начавшегося уже движения французских войск для занятия позиции.