Кванторы: все и некоторые

Две записи, которые нельзя менять местами

Квантор всеобщности ∀ читается «для всех», а квантор существования ∃ читается «существует хотя бы один». «Все F есть G» записывается через импликацию: ∀x(F(x) → G(x)), а «некоторые F есть G» через конъюнкцию ∃x(F(x) ∧ G(x)). Связки в двух записях разные, и менять их местами нельзя. Урок объясняет, откуда берётся это различие.

forall x: Calgary, гл. 23 «Sentences with one quantifier». Аристотель, «Первая аналитика» · 28 мин · обновлено 06.09.2026

На столе три предмета: красный круг, жёлтый квадрат и жёлтый круг, и о них два вопроса. «Каждый круг красный?» Нет: жёлтый круг тут же и лежит. «Есть красный круг?» Да: вот он, первый.

Вопросы похожи, а ответы разные, и это ещё не новость. Новость в том, что и записываются они по-разному, причём разница не в одном значке. «Все круги красные» и «есть красный круг» отличаются устройством: у первого внутри стрелка, а у второго стоит «и». Это место читатели чаще всего заучивают наизусть. Заучивать не надо: надо один раз посмотреть, что получается при обмене, и больше вы не перепутаете.

Два новых значка

Начнём с простого. Скажем что-нибудь обо всех предметах разом: «Все три предмета красные» записывается как ∀x Красный(x). Читается это так: «для всякого x верно, что x красный», а короче «всё красное». Значок ∀ есть перевёрнутая латинская A, и называется он квантором всеобщности.

Теперь противоположное. Скажем, что хоть один такой предмет есть: «Есть красный предмет» записывается как ∃x Красный(x). Читается: «найдётся x, для которого верно, что x красный». Значок ∃ есть перевёрнутая E, а называется он квантором существования.

Первое обещание сильное: оно про каждый предмет без исключения. Второе слабое, ведь ему достаточно одного. И сразу оговорка, которая потом сэкономит много споров: значок ∃ означает «хотя бы один», а не «ровно один» и не «некоторые, но не все». «Некоторые круги красные» в логике истинно и тогда, когда красны все круги до единого, и никакого «а остальные нет» тут не сказано.

Обо всех, но о ком именно?

Есть вопрос, который надо задать прежде всех прочих: обо всех, но о каких именно? «Все места заняты» говорит про все места в этом зале, а не во вселенной. «Всё красное» на нашем столе ложно, а на столе из одних красных кругов то же самое утверждение истинно.

Поэтому прежде проверки договариваются, какие предметы вообще рассматриваются. Этот набор называется областью, а область вместе с указанием, какие предикаты на каких предметах выполняются, есть модель. Наша модель маленькая, и это нарочно: три предмета и два предиката. Предметы назовём a, b и c. Предмет a есть круг, и он красный. Предмет b есть квадрат, и он не красный. Предмет c есть круг, и он не красный. Проверять формулу на такой модели можно руками: пройти по трём предметам и посмотреть. В этом вся работа.

Главное место урока: почему у «все» стрелка

Запишем «Все круги красные». Первая мысль почти у всех одна и та же. Пишут ∀x(Круг(x) ∧ Красный(x)), то есть «для всякого x: x круг и x красный». Прочитайте это ещё раз, медленно и вслух. Получилось не «все круги красные», а «всё на свете есть красный круг».

Проверим на модели. Берём предмет b, квадрат: требование «b круг и b красный» на нём не выполняется, значит, вся формула ложна. А исходная фраза про квадрат не говорила ничего. Она говорила о кругах.

Нужна запись, которая пропускает квадрат мимо, не трогая его, и такая запись у нас есть с урока 6. Пишут ∀x(Круг(x) → Красный(x)), то есть «для всякого x: если x круг, то x красный». Вспомним надёжное чтение стрелки, без намёков на связь по смыслу: «не бывает так, чтобы P и не Q». Здесь оно звучит так: не бывает предмета, который круг и при этом не красный.

Проверяем на модели по шагам, ни одного не пропуская. Шаг 1. Берём a: он круг, значит условие сработало и надо смотреть цвет. Он красный, значит требование выполнено.
Шаг 2. Берём b: он не круг. Условие «если b круг» не выполнилось, а раз так, требовать нечего, ведь импликация с ложной посылкой истинна. Выполнено.
Шаг 3. Берём c: он круг. Смотрим цвет: он не красный, и требование нарушено.
Шаг 4. Нашёлся предмет, на котором вышел провал. Для «для всякого» одного такого предмета достаточно.
Шаг 5. Формула ложна на этой модели. И правильно: жёлтый круг лежит на столе.

Заметьте, что сделал квадрат на втором шаге. Он не помешал и не помог.

Стрелка его отпустила.

И почему у «есть» конъюнкция

Теперь обмен в другую сторону, и ломается ещё нагляднее. «Есть красный круг» правильно записывается как ∃x(Круг(x) ∧ Красный(x)) и читается: «найдётся x, который круг и притом красный». Попробуем поставить сюда стрелку. Возьмём строку ∃x(Круг(x) → Красный(x)), читается она так: «найдётся x, про который верно, что если он круг, то он красный».

Проверяем на модели, снова по шагам. Шаг 1. Берём a: он круг и красный, условие «если круг, то красный» выполнено. Требуемый предмет найден, формула истинна.
Шаг 2. Но интереснее другой предмет: берём b, квадрат. Проверяем «если b круг, то b красный»: посылка ложна, значит вся импликация истинна.
Шаг 3. Выходит, квадрат в одиночку делает формулу истинной. Ни кругом, ни красным он при этом не является.
Шаг 4. Уберём со стола оба круга, оставим один квадрат. Формула по-прежнему истинна: подходящий предмет есть, это b.
Шаг 5. А фраза «есть красный круг» на таком столе заведомо ложна. Кругов нет вовсе.

Запись со стрелкой почти ничего не сообщает: она выполняется на любом предмете, который не круг, и потому истинна почти всегда. Теперь скажем, в чём разница по существу, а не по правилу. Квантор ∀ обходит все предметы и с каждого что-то требует, и стрелка нужна ему затем, чтобы к посторонним предметам не предъявлять ничего.

Квантор ∃ ищет один предмет и должен закрепить за ним оба свойства сразу, а стрелка их не закрепляет: она достаётся даром любому некругу. Правило «все со стрелкой, есть с конъюнкцией» запоминать бесполезно: оно вылетит через неделю. Проверка занимает пятнадцать секунд: подставьте посторонний предмет и посмотрите, что стало с формулой.

Разверните формулу на трёх предметах

Есть способ увидеть всё это сразу, и он работает, пока предметов конечное число. Квантор ∀ на конечной области есть длинная конъюнкция: он говорит про a, и про b, и про c. Квантор ∃ есть длинная дизъюнкция: он говорит про a, или про b, или про c.

Развернём правильную запись «все круги красные»: (Круг(a) → Красный(a)) ∧ (Круг(b) → Красный(b)) ∧ (Круг(c) → Красный(c)). Читается: «если a круг, то a красный, и если b круг, то b красный, и если c круг, то c красный». Средний член про квадрат истинен даром, ведь посылка в нём ложна, и потому он не портит конъюнкцию. Именно этого мы и добивались.

А теперь развернём подмену с конъюнкцией внутри: (Круг(a) ∧ Красный(a)) ∧ (Круг(b) ∧ Красный(b)) ∧ (Круг(c) ∧ Красный(c)). Читается: «a круг и красный, и b круг и красный, и c круг и красный». Средний член здесь ложен, потому что квадрат кругом не является, а одного ложного члена конъюнкции достаточно, чтобы всё стало ложным.

С квантором существования картина зеркальная. Развернём правильную запись «есть красный круг»: (Круг(a) ∧ Красный(a)) ∨ (Круг(b) ∧ Красный(b)) ∨ (Круг(c) ∧ Красный(c)). Читается: «a круг и красный, или b круг и красный, или c круг и красный». Дизъюнкции достаточно одного истинного члена, и им оказывается первый: a круг и красный.

Подмена со стрелкой даёт дизъюнкцию, у которой средний член истинен даром, и одного такого члена хватает, чтобы вся дизъюнкция стала истинной ни за что. Вот и весь секрет: ложный член губит конъюнкцию, истинный член вытягивает дизъюнкцию, а стрелка бесплатно даёт истину на посторонних предметах.

Отсюда и распределение: под ∀ стрелка полезна, под ∃ она разрушительна.

Пустая истинность

Уберём со стола круги совсем, и останется один квадрат. Истинно теперь «все круги красные» или ложно? Запись отвечает однозначно: предмета, который круг и не красный, нет ни одного, и опровергать нечем. Формула истинна.

Ответ звучит странно: кажется, что сказать «все круги красные» там, где кругов нет, значит соврать. Это не враньё, а пустое утверждение, которое ни на что не претендует. Такая истинность называется пустой.

Бытовой случай, на котором видно лучше всего: «Все нарушители будут наказаны». Если нарушителей не было вовсе, обещание не нарушено ничем, и оно истинно. Вывод «значит, кто-то был наказан» отсюда не следует, ведь наказывать было некого. Вот куда это бьёт: фраза «все A суть B» больше не сообщает, что A вообще существуют. Проверьте на себе: в обычной речи «все сотрудники прошли обучение» звучит как обещание, что сотрудники есть. Формальная запись такого обещания не даёт.

Что стало с силлогистикой

У этой мелочи оказалась большая цена, и платить пришлось самой старой части логики. Аристотель построил силлогистику в «Первой аналитике» около 350 года до н. э.: четыре фигуры, 256 комбинаций. Традиция признаёт правильными 24 модуса, и из этих двадцати четырёх девять опираются на молчаливое допущение, что классы непусты. Допущение называют экзистенциальным ввозом, и без него правильных модусов остаётся 15.

Проще всего это видно на переходе «Все A суть B, следовательно некоторые A суть B». Его называют субальтернацией, и в современной логике он неправилен. Контрпример у нас уже готов: нарушителей не было, «все нарушители наказаны» истинно, а «некоторые нарушители наказаны» ложно.

Скажем прямо, чтобы не вышло высокомерия: Аристотель не ошибся в вычислениях. Он работал с терминами живой речи, а в живой речи о пустых классах обычно не говорят. Современная запись это допущение убрала, и девять модусов ушли вместе с ним.

Кому ввоз нужен обратно, тот дописывает его отдельной посылкой: «есть хотя бы одно A». Тогда переход снова правилен, а спорное допущение стоит на виду, где его можно обсудить. Приём знаком по уроку 2: молчаливое знание вписывают в аргумент строкой и тем самым делают видимым.

Отрицание кванторов

У нас три студента (Аня, Боря и Вера): Аня сдала, Боря сдал, Вера не сдала. «Все сдали» ложно, и это ясно. А что истинно вместо этого? Почти все отвечают быстро: «все не сдали».

Ответ неверный: «все не сдали» тоже ложно, потому что Аня-то сдала. Верный ответ звучит слабее и скучнее: «кто-то не сдал». Формально: запись ¬∀x Сдал(x) равносильна записи ∃x ¬Сдал(x). Читается это так: «неверно, что все сдали» есть то же самое, что «найдётся тот, кто не сдал».

И вторая пара законов, устроенная так же. Запись ¬∃x Пришёл(x) равносильна записи ∀x ¬Пришёл(x). Читается это так: «неверно, что кто-то пришёл» есть то же самое, что «никто не пришёл». Правило запоминается одним движением: отрицание проходит внутрь и переворачивает квантор. «Все» становится «найдётся», «найдётся» становится «все».

Ошибка «не все» → «все не» остаётся одной из самых частых в спорах, и цена у неё высокая. «Не все врачи компетентны» означает «есть некомпетентный врач». Не «все врачи некомпетентны». Расстояние между этими утверждениями огромно, а путают их ежедневно.

Отсюда же берётся удобная запись для «ни одного». «Нет ни одного красного квадрата» записывается как ¬∃x(Квадрат(x) ∧ Красный(x)), и то же самое можно сказать иначе: ∀x(Квадрат(x) → ¬Красный(x)). Второе читается: «всякий квадрат не красный». Две записи, одно утверждение, а переход между ними идёт как раз по правилу отрицания.

Стрелку нельзя переворачивать

Ещё одна пара, которую путают, и тоже из-за стрелки. Запись ∀x(Круг(x) → Красный(x)) читается как «все круги красные». Запись ∀x(Красный(x) → Круг(x)) читается как «всё красное есть круг». Утверждения разные, и одно из другого не следует.

На нашем столе первое ложно из-за жёлтого круга, а второе истинно: красный предмет ровно один, и он круг. Это та же ловушка, что «если A, то B» против «если B, то A». Утверждения «все врачи учились в вузе» и «все учившиеся в вузе есть врачи» совсем не равны по силе.

Проверка простая. Спросите себя, о ком идёт речь: о кругах или о красных предметах. Тот, о ком речь, стоит в записи слева от стрелки.

Что дальше

В тренажёре ниже стоит та самая модель из трёх предметов: предметы переключаются щелчком, а пять формул пересчитываются сами. Обязательно нажмите кнопку, убирающую все предметы. Пустая истинность там видна вся разом: формулы с «каждый» становятся истинными, а формулы с «есть» становятся ложными.

И попробуйте задачу из подсказки: сделать «каждый круг красный» истинным, а «есть красный круг» ложным. Способ ровно один, и он объясняет весь урок. Урок 16 берёт следующий шаг: два квантора в одной формуле. Там интуиция ломается сильнее, чем где-либо в курсе.

Вопросы для самопроверки

Что читать

• Тренажёр «Модель и кванторы» на этой странице: Три предмета, пять формул. Кнопку с удалением всех предметов стоит нажать обязательно: пустая истинность на ней видна за секунду и запоминается лучше любого объяснения.
• forall x: Calgary, гл. 23 «Sentences with one quantifier»: Упражнения на перевод стоит сделать целиком: обмен стрелки и конъюнкции под кванторами осваивается только количеством. Меньше десяти штук делать бессмысленно.
• Статья «The Traditional Square of Opposition» в Stanford Encyclopedia of Philosophy: Подробный разбор того, что случилось с логическим квадратом после отказа от экзистенциального ввоза. Читать после урока: там сравниваются несколько способов сохранить традиционные переходы.