Область действия квантора
Одни и те же слова, другой порядок кванторов, другой смысл
Область действия квантора это часть формулы, на которую он распространяется. Порядок кванторов меняет смысл: ∀x∃y читается «у каждого найдётся свой», а ∃y∀x читается «есть один общий для всех». Одни и те же слова с разным порядком кванторов дают разные утверждения. Отсюда классические двусмысленности.
forall x: Calgary, гл. 24 «Multiple generality» · 28 мин · обновлено 06.09.2026
После урока вы сможете
- Различать два чтения фразы «каждый кого-нибудь любит» и записывать оба
- Объяснять, почему сильное чтение влечёт слабое, а обратный переход неправилен
- Находить область действия квантора и отличать связанную переменную от свободной
- Знать, какие перестановки кванторов безопасны, а какие меняют смысл
«Каждый кого-нибудь любит».
Фраза мирная и как будто без подвоха, но проверим её на трёх людях. Мир первый. Аня любит Борю, Боря любит Веру, Вера любит Аню. Мир второй. Аня любит Борю, Вера любит Борю, и Боря любит Борю.
В обоих мирах «каждый кого-нибудь любит» истинно. Проверьте по одному человеку: сходится. Но во втором есть кое-что ещё: там есть человек, которого любят все. В первом такого нет.
Одна русская фраза, а утверждений за ней два, и они не равносильны. Различать их обычная речь не умеет. Формальная запись обязана их различать, и она умеет.
Как записать «любит»
Сначала значки. «Любит» есть предикат на два места, и запись Л(аня, боря) читается: «Аня любит Борю». Порядок мест важен. Запись Л(боря, аня) означает «Боря любит Аню», и это другое утверждение: одно может быть истинным без другого. Дальше вместо имён поставим переменные. Строка Л(x, y) читается: «x любит y». Само по себе это не утверждение. Пока не сказано, кто такие x и y, спрашивать об истинности нечего. Кванторы и превращают заготовку в утверждение, причём разными способами, и в этом весь урок.
Два чтения
Первое чтение. Запись ∀x ∃y Л(x, y) читается по частям: «для всякого x найдётся такой y, что x любит y». По-русски короче: у каждого есть кто-то, кого он любит, причём у каждого свой. Второе чтение. Запись ∃y ∀x Л(x, y) читается: «найдётся такой y, что всякий x любит y». По-русски: есть один человек, которого любят все.
Значки одни и те же, предикат один и тот же, переставлены только два квантора. Разница вот в чём: в первой записи y выбирают, уже зная x, и для разных x он может быть разным. Во второй записи y назван раньше, чем зашла речь об x, значит, он один на всех: выбирать его под каждого человека отдельно уже нельзя. Отсюда рабочее правило: что стоит левее, то выбрано раньше. Что правее, то может зависеть от того, что левее.
Порядок кванторов удобно представлять как аналогию с придирчивым собеседником. Он называет вам x, а вы обязаны предъявить подходящий y. В записи ∃y∀x правила другие: y вы называете первым, и собеседник потом подбирает x, чтобы вас поймать. Ломается аналогия здесь: в разговоре ходы идут во времени и один зависит от другого по-настоящему. В формуле не происходит ничего: она описывает один готовый мир, где все связи уже есть. Порядок кванторов говорит не о времени, а о том, что от чего может зависеть.
Как это проверяют руками
Верить на слово не нужно. Проверим сильное чтение на первом мире, перебрав всех кандидатов. Шаг 1. Запись ∃y∀x Л(x, y) требует найти человека, которого любят все трое, а кандидатов ровно три.
Шаг 2. Пробуем Аню: её любит Вера, а Боря? Боря любит Веру, значит нет, и Аня не подходит.
Шаг 3. Пробуем Борю: его любит Аня, а Вера? Вера любит Аню, значит нет, и Боря не подходит.
Шаг 4. Пробуем Веру: её любит Боря, а Аня? Аня любит Борю, значит нет, и Вера не подходит.
Шаг 5. Кандидаты кончились, ни один не прошёл. Формула ложна в этом мире.
Слабое чтение проверяется иначе, и разницу стоит увидеть в самой работе. Там перебирают не кандидатов на одно место, а всех людей подряд, и для каждого ищут своего. Аня любит Борю, Боря любит Веру, Вера любит Аню, и своего нашли для всех троих. Формула истинна.
Итак, сильное чтение сводится к одному перебору с общим кандидатом, а слабое распадается на три независимых поиска, где ответы не обязаны совпадать. Тот же порядок действий годится для любой модели и любого числа людей. В тренажёре ниже он и понадобится.
Сильное влечёт слабое
Из «есть один, кого любят все» следует «у каждого есть кто-то, кого он любит». Разберём этот переход по шагам, не пропуская ни одного. Шаг 1. Пусть ∃y∀x Л(x, y) истинно. Значит, есть конкретный человек, назовём его b, и его любят все.
Шаг 2. Возьмём кого угодно из области. Пусть это x.
Шаг 3. По шагу 1 всякий любит b. Значит, и x любит b.
Шаг 4. Мы предъявили для x того, кого он любит: это b. Условие «найдётся y» для нашего x выполнено.
Шаг 5. Человек на шаге 2 был взят произвольно, значит сказанное верно про каждого. То есть ∀x∃y Л(x, y) истинно.
Обратный переход неправилен, и контрпример у нас уже готов. Это первый мир из начала урока. Аня любит Борю, Боря любит Веру, Вера любит Аню, и у каждого есть кто-то. А любимого всеми нет: Аню любит только Вера, Борю только Аня, Веру только Боря.
Одного такого мира достаточно, чтобы вопрос закрыть окончательно. Это ровно тот контрпример, о котором шла речь в уроке 3, только теперь случаем служит модель. Полезно проговорить итог словами: слабое чтение разрешает каждому иметь своего, сильное требует одного общего для всех. Второе требование строже, поэтому оно влечёт первое, а из более слабого более сильное не выводится никогда.
Где ещё сидит тот же разрыв
Как только эту разницу заметишь, она начинает попадаться на глаза каждый день. «У каждой болезни есть причина»: у каждой своя или есть одна причина всех болезней? Первое почти бесспорно, а второе есть крупная заявка, за которую надо отвечать.
«У каждого замка есть ключ»: у каждого свой или существует отмычка ко всем? «В каждом деле есть свой специалист»: слово «свой» здесь единственное, что отличает слабое чтение от сильного, и потерять его в пересказе очень легко. «Каждый может ошибиться» значит: у каждого найдётся случай, где он ошибается. Не «есть одна ошибка, которую делают все».
На этом же разрыве стоит определение предела в математике. Там сначала берут любую точность, а потом под неё подбирают номер. Поменяешь порядок, и получишь другое понятие. Разбирать его мы не будем. Достаточно знать, что порядок кванторов там и есть всё содержание.
Общий приём годится в любом споре. Услышав «у каждого есть …», спросите: у каждого свой или один на всех? Половина неясных разговоров рассыпается на этом вопросе. Собеседник нередко обнаруживает, что защищал сильное чтение, имея в виду слабое.
Работает это и в обратную сторону: лозунг «у каждой задачи есть решение» звучит бодро именно потому, что слышится сильно, а доказать можно разве что слабое. Разница между чтениями бывает и разницей в цене. «У каждого клиента есть свой менеджер» и «есть менеджер, который ведёт всех клиентов» описывают разные штатные расписания.
Заметьте общее у всех примеров. Сильное чтение всегда содержит скрытое «один и тот же». Именно это слово теряется в русской фразе, и именно его возвращает порядок кванторов.
Где кончается власть квантора
Теперь про скобки, и это не мелочь и не вопрос аккуратности. Квантор управляет не всей формулой, а куском, который стоит сразу за ним, и кусок этот называется областью действия квантора. Сравним две записи, отличающиеся одной парой скобок.
Первая: ∀x (Круг(x) → Красный(x)). Читается: «для всякого x, если x круг, то x красный», и область действия квантора здесь есть вся скобка целиком. Вторая: ∀x Круг(x) → Красный(x). Читается: «если всё есть круг, то оно красное», а область действия квантора охватывает только Круг(x).
Во второй записи слово «оно» повисает в воздухе: кто этот x в правой части, не сказал никто. Переменная, попавшая в область действия своего квантора, называется связанной, а не попавшая называется свободной. Формула, в которой есть свободная переменная, называется открытой. Она не истинна и не ложна ни в какой модели: это заготовка, а не утверждение.
Формула без свободных переменных называется замкнутой, и вот у неё в модели есть ответ. Отсюда рабочая привычка, которая экономит часы. Записав формулу, пройдите по каждой переменной и спросите: есть ли над ней квантор и захватывает ли его скобка именно это место.
То же самое и с отрицанием. Запись ¬∀x Сдал(x) читается как «неверно, что все сдали», а запись ∀x ¬Сдал(x) читается как «все не сдали». Значки те же, а утверждения разные: отрицание стоит по разные стороны от квантора. Эту пару мы разбирали в уроке 15, и теперь видно, что дело именно в области действия.
Что переставлять можно
Не всякая перестановка опасна, и полезно знать, где можно не осторожничать. Два «для всякого» подряд переставляются свободно: записи ∀x∀y Л(x, y) и ∀y∀x Л(x, y) говорят одно и то же, а именно что всякий любит всякого. Два «найдётся» тоже переставляются: записи ∃x∃y Л(x, y) и ∃y∃x Л(x, y) обе означают, что найдётся пара, где первый любит второго.
Причина безопасности простая. Однородные кванторы делают одну и ту же работу, и порядок этой работы ничего не меняет. Два «для всякого» требуют пройти по всем парам, а какую букву перебирать первой, значения не имеет. Опасна только смесь: рядом стоящие ∀ и ∃ переставлять нельзя, и это единственное место, где порядок несёт смысл.
Причина тоже простая, и мы её уже назвали: смесь создаёт зависимость, ведь правый выбор может зависеть от левого. Переставив кванторы, вы эту зависимость либо создаёте, либо уничтожаете. И ещё одно, что поначалу удивляет: имя переменной значения не имеет.
Записи ∀x Смертен(x) и ∀y Смертен(y) дают одну и ту же формулу, и читаются обе одинаково: «всё смертно». Буква служит только затем, чтобы связать квантор с местом в предикате, а такую замену называют переименованием связанной переменной. Делать её можно всегда, с одной оговоркой: новое имя не должно совпасть с уже занятым в этой же формуле. Иначе две разные переменные склеятся в одну, и смысл поедет.
Ловушка с самим собой
Ещё одна мелочь, на которой спотыкаются даже те, кто разобрался со всем предыдущим. В записи ∀x∃y Л(x, y) ничто не запрещает y совпасть с x. Человек, который любит только себя, эту формулу не нарушает: кого-нибудь он да любит, а именно себя.
Во втором мире с картинки Боря любит Борю, и это честно учтено: без такой стрелки «все любят Борю» было бы ложно. Если имелось в виду «любит кого-то другого», это надо написать: ∀x∃y (x ≠ y ∧ Л(x, y)). Читается: «для всякого x найдётся y, отличный от x, которого x любит». Знак ≠ означает «не тот же самый предмет», и подробно им займётся урок 17.
Мораль общая и стоит дороже частного случая. Формальная запись не додумывает за автора.
Чего в ней не написано, того в ней нет.
Что дальше
В тренажёре ниже четыре мира и две формулы, и про каждую надо решить, истинна она здесь или ложна. Главный мир здесь тот, где у каждого свой любимый и нет любимого всеми. Именно он доказывает, что записи не равносильны, и ради него всё затевалось.
Есть и мир, где обе формулы ложны разом. Полезно понять, почему: там найдётся человек, который не любит никого, и слабое чтение падает первым. Урок 17 добавит в язык последний знак: тождество. С ним получится сказать «ровно один» и разобрать обороты вида «тот самый», а заодно вернуться к области действия с неожиданной стороны.
Кто кого любит
Четыре мира и два чтения фразы «каждый кого-нибудь любит». Угадайте, где какое истинно, и увидите, что порядок кванторов меняет смысл.
Откуда это и кто доказал
| Готлоб Фреге, «Begriffsschrift» | 1879 | Кванторы и переменные, а вместе с ними и вложенные кванторы. До этой работы записать «каждый кого-нибудь любит» строго было нечем: силлогистика различает только классы. |
| Огастес де Морган, «Формальная логика» | 1847 | Логика отношений. Пример с лошадиной головой требует ровно того, о чём этот урок: двухместного предиката и двух кванторов подряд. |
Ловушки и теоремы
Записи ∀x∃y Л(x, y) и ∃y∀x Л(x, y) не равносильны. Мир, где Аня любит Борю, Боря любит Веру, а Вера любит Аню, делает первую истинной, а вторую ложной. Переставлять свободно можно только однородные кванторы: ∀∀ и ∃∃. Смесь ∀ и ∃ переставлять нельзя, и это единственное место, где порядок несёт смысл.
Утверждений действительно два, и в одном и том же мире они могут иметь разные значения истинности. Слабое: у каждого есть свой. Сильное: есть один, кого любят все. Обычная речь эту разницу не отмечает вовсе, поэтому спорящие нередко имеют в виду разное, пользуясь одними словами. Тот же разрыв сидит в «у каждой болезни есть причина» и в определении предела.
Открытая формула не истинна и не ложна ни в какой модели: в ней сказано «оно красное», а кто такой «оно», не сказано. Утверждением она становится, только когда все переменные попали в область действия своих кванторов. Отсюда практическое следствие: ∀x(Круг(x) → Красный(x)) и ∀x Круг(x) → Красный(x) дают не два способа записать одно, а формулу и заготовку.
Первое направление доказано в пять шагов: если есть b, которого любят все, то для произвольно взятого x годится тот же b, а произвольность x и даёт «для всякого». Обратное направление закрыто моделью: Аня любит Борю, Боря любит Веру, Вера любит Аню, и у каждого есть кто-то, а любимого всеми нет. Одной такой модели достаточно навсегда. Это контрпример урока 3, только случаем теперь служит модель. Условие названо словами: разрешена перестановка от более сильного требования к более слабому, и только она. Однородные кванторы, стоящие рядом, переставляются свободно, а смесь ∀ и ∃ не переставляется.
Термины
- область действия квантораscope
- Кусок формулы, которым квантор управляет: то, что стоит сразу за ним, обычно в скобках. Одна пара скобок меняет утверждение на заготовку.
- связанная переменнаяbound variable
- Переменная, попавшая в область действия своего квантора. Имя у неё служебное: ∀x Смертен(x) и ∀y Смертен(y) дают одну и ту же формулу.
- свободная переменнаяfree variable
- Переменная, не попавшая в область действия ни одного квантора. Про неё не сказано, какой предмет имеется в виду, и потому формула остаётся без значения истинности.
- открытая формулаopen formula
- Формула, в которой есть хотя бы одна свободная переменная. Ни истинной, ни ложной в модели она не бывает: это заготовка, а не утверждение.
- замкнутая формулаsentence
- Формула без свободных переменных. В любой модели у неё есть значение истинности: истинна или ложна.
- вложенные кванторыmultiple generality
- Два и больше кванторов в одной формуле, когда область действия одного лежит внутри области действия другого. Порядок разнородных кванторов при этом меняет смысл.
- переименование связанной переменнойalphabetic variance
- Замена буквы у связанной переменной вместе с её квантором. Смысла не меняет, если новое имя не совпало с уже занятым в этой формуле.
Практикум · Пять фраз, два чтения, один мир на три человека
Работа на пятнадцать минут с бумагой. Возьмите пять фраз вида «у каждого есть …», «в каждом … найдётся …», «всякий кого-то …» из новостей, из рекламы, из разговора. Годятся и лозунги: они особенно часто держатся на смешении двух чтений.
- Выпишите фразу и назовите двухместный предикат в ней: кто с кем связан. Запишите его словами с двумя пустыми местами.
- Запишите оба чтения формально: сначала со «для всякого» впереди, потом с «найдётся» впереди. Прочитайте каждое вслух по-русски.
- Нарисуйте мир из трёх точек со стрелками, в котором слабое чтение истинно, а сильное ложно. Проверьте по каждой точке отдельно.
- Решите, какое из двух чтений имел в виду автор фразы. Если понять нельзя, так и запишите: фраза неоднозначна.
- Возьмите одну из своих записей и уберите в ней внешние скобки после квантора. Выпишите, какая переменная стала свободной и почему формула перестала быть утверждением.
Вопросы для самопроверки
Мир: Аня любит Борю, Боря любит Веру, Вера любит Аню. Что верно?
- Обе записи истинны
- «Есть один, кого любят все» истинно (круг замкнут, и любят в нём каждого), а «у каждого есть кто-то» ложно
- «У каждого есть кто-то, кого он любит» истинно, а «есть один, кого любят все» ложно
- Обе записи ложны
Какая запись читается «есть один человек, которого любят все»?
- ∃y ∀x Л(x, y)
- ∀x ∃y Л(x, y)
- ∀y ∃x Л(x, y)
- ∃x ∀y Л(x, y)
Чем ∀x (Круг(x) → Красный(x)) отличается от ∀x Круг(x) → Красный(x)?
- Ничем: скобки после квантора необязательны
- Первая говорит о кругах, а вторая о квадратах
- Запись со скобками сильнее записи без них, но обе остаются утверждениями и получают значение в каждой модели
- Во второй записи x справа от стрелки не связан квантором, и утверждения из неё не выходит
Какие перестановки кванторов не меняют смысла формулы?
- Никакие: порядок кванторов всегда значим
- Два «для всякого» подряд и два «найдётся» подряд
- Любые, если предикат двухместный
- Только те, что не меняют имён переменных
«У каждой болезни есть причина». Какое чтение слабее?
- У каждой болезни своя причина
- Есть одна причина всех болезней
- Оба чтения равносильны
- Слабее то, где причина названа раньше болезни
Ответы и разбор открываются в самопроверке урока: она считает результат и отмечает урок пройденным. Пройти самопроверку.
Что читать
- Тренажёр «Область действия» на этой странице: Четыре мира, две формулы. Стоит пройти все четыре и обязательно задержаться на мире, где слабое чтение истинно, а сильное ложно.
- forall x: Calgary, гл. 24 «Multiple generality»: Самая полезная глава книги для этого урока: там много упражнений на перевод фраз с двумя кванторами. Ошибки в них делают все, и это нормальная часть обучения.
- Статья «The Development of Modern Logic» в Stanford Encyclopedia of Philosophy: Про то, как вложенные кванторы появились и почему до Фреге их не было. Читать не обязательно, но полезно увидеть, что нынешняя запись есть результат долгого поиска, а не единственно возможный вариант.