Импликация: если A, то B
Связка, которая значит не то, что кажется, и выбрана так нарочно
Импликация это логическая связка «если P, то Q». Она ложна ровно в одном случае, когда P истинно, а Q ложно, и истинна во всех остальных, включая случаи с ложным P. У импликации две части: антецедент до стрелки и консеквент после неё. С бытовым «если» это расходится, и расхождение выбрано сознательно.
forall x: Calgary, гл. 5 «Connectives» и гл. 9 «Characteristic truth tables», сослагательные условные по Сталнакеру и Льюису · 26 мин · обновлено 06.09.2026
После урока вы сможете
- Называть единственный случай, в котором «если… то» ложно
- Читать P → Q надёжным чтением «не бывает так, чтобы P и не Q»
- Объяснять, почему таблица для «если» выбрана именно такой
- Отличать изъявительное условное от сослагательного и не путать → с ↔
Вы сказали приятелю: «Если сдам экзамен, поставлю кофе». Прошла неделя. Когда вас можно упрекнуть во вранье? Случаев ровно четыре, и их стоит перебрать вслух.
Сдали и поставили. Обещание выполнено, претензий нет.
Сдали и не поставили. Вот тут вас поймали. Обещание нарушено, спорить не о чем.
Не сдали, а кофе всё равно поставили. Соврали? Нет. Это не враньё, а щедрость. Вы обещали кофе при сдаче, а не отсутствие кофе при провале.
Не сдали и не поставили. Тоже не враньё. Обещание просто не сработало: условие не наступило.
Итог: из четырёх случаев обещание нарушено ровно в одном, а именно когда сдали и не поставили. Вот это единственное место логика и берёт за определение «если… то». Всё остальное в уроке следует из него.
Таблица и запись
Обозначим по ключу: P означает «сдам экзамен», Q означает «поставлю кофе». Запись P → Q читается: если P, то Q. У частей этой связки есть особые названия, и их придётся запомнить: то, что стоит до стрелки, носит имя антецедент, то, что после, носит имя консеквент.
Таблица на четыре строки, и целое истинно во всех, кроме одной: ложно оно ровно тогда, когда антецедент истинен, а консеквент ложен. Чтение «если P, то Q» правильное, но опасное: русское «если» тащит за собой лишнее, и поэтому курс даёт второе чтение, надёжное.
P → Q читается: не бывает так, чтобы P и не Q.
Проверьте его на обещании: «Не бывает так, чтобы я сдал и не поставил кофе» передаёт ровно то, что вы обещали, и ничего сверх того. Второе чтение стоит выучить наизусть, потому что оно не наводит на мысль о связи между событиями и точно передаёт таблицу. Сама связка называется материальной импликацией, и слово «материальная» значит тут одно: она смотрит на значения частей и больше ни на что.
Слова легко перепутать, а вещи разные. Посылка и заключение обозначают роли в аргументе, то есть в наборе из нескольких высказываний. Антецедент и консеквент служат частями одного высказывания. Фраза «Если сдам, поставлю кофе» целиком составляет одну посылку, а внутри неё есть антецедент и консеквент. Русское слово «следствие» для консеквента лучше не употреблять: оно уже занято следованием, к которому консеквент отношения не имеет.
Три места, где это кажется поломкой
Из одной ложной строки следуют вещи, которые почти каждый принимает за ошибку системы. Разберём три, и все три верны.
Первое: ложный антецедент делает целое истинным. «Если Луна сделана из сыра, то дважды два четыре» истинно. Проверяем по таблице: «Луна из сыра» ложно, значит, перед нами строка с ложным антецедентом. Ложным целое бывает только при истинном антецеденте, а значит, целое истинно. Проверяем надёжным чтением: «Не бывает так, чтобы Луна была из сыра и при этом дважды два было не четыре». Правда, не бывает, хотя бы потому, что Луна не из сыра.
Второе: истинный консеквент делает целое истинным. «Если идёт дождь, то дважды два четыре» истинно при любой погоде. Снова чтением: «не бывает так, чтобы шёл дождь и дважды два было не четыре». Не бывает, ведь вторая часть истинна всегда.
Третье: между любыми двумя высказываниями хотя бы одно условное истинно. Это самое дикое из трёх, и разобрать его надо целиком.
Русское «если» почти всегда намекает, что первое имеет отношение ко второму: «если отпустишь, упадёт». Стрелка не намекает ни на что. Она делает ровно одно утверждение: запрещает сочетание «антецедент истинен, консеквент ложен». Пока это не уложилось, все три странности выглядят поломкой. Как только уложилось, они становятся скучными следствиями одной ложной строки.
Разбор по шагам: хотя бы одно из двух
Возьмём два никак не связанных высказывания: A означает «Аня дома», B означает «Боря дома». Утверждение такое: хотя бы одно из двух условных истинно. Первое звучит как «если Аня дома, то Боря дома», второе как «если Боря дома, то Аня дома». Случаев четыре, и переберём все, не пропуская ни одного.
Шаг 1. Оба дома. У первого условного антецедент истинен и консеквент истинен, значит, оно истинно. Второе истинно по той же причине. Хотя бы одно есть.
Шаг 2. Аня дома, Бори нет. Первое условное ложно: антецедент истинен, консеквент ложен. Смотрим второе. Бори нет, значит, его антецедент ложен, значит, оно истинно. Хотя бы одно есть.
Шаг 3. Ани нет, Боря дома. У первого условного антецедент ложен, значит, оно истинно. Хотя бы одно есть.
Шаг 4. Дома нет никого. У обоих условных антецедент ложен, значит, истинны оба. Хотя бы одно есть.
Шаг 5. Итог. Все четыре случая проверены. В каждом хотя бы одно условное истинно, а значит, утверждение верно всегда.
По-русски звучит дико: выходит, между любыми двумя фразами есть связь хотя бы в одну сторону. Но связи тут никто и не утверждал, и стрелка не говорит, что одно влияет на другое. Она запрещает единственное сочетание, а раз сочетаний всего четыре, запрет попадает не туда, куда ждёт живая речь.
Есть и четвёртое следствие, уже на краю логики высказываний. «Все единороги розовые» истинно, и ровно потому, что единорогов нет. Фраза со словом «все» читается так: про каждую вещь на свете верно, что если она единорог, то она розовая. Единорогов нет, значит, у каждого такого условного антецедент ложен, а значит, каждое из них истинно, а с ними и всё утверждение.
Это называется пустой истинностью, а запись со словом «все» появится только в модуле V. Причина уже перед нами: одна ложная строка и три истинных. Урок 15 покажет, что эта мелочь сделала с наследством Аристотеля, а здесь достаточно увидеть, откуда она берётся. Странность на этом кончается, и осталось объяснить, почему таблицу выбрали именно такую.
Почему таблица именно такая
Вопрос законный: почему бы не сделать иначе? Посчитаем, сколько вариантов вообще есть: строк четыре, в каждой одно из двух значений, значит, разных таблиц шестнадцать. Из шестнадцати надо выбрать одну, и выбор не произволен: связка обязана удовлетворять требованиям.
Требование ноль: истинностная функциональность. Значение целого определяется значениями частей. Иначе таблицы не будет вовсе, и связка в язык не войдёт, как не вошло «потому что» в уроке 5.
Требование первое: сохранить modus ponens. Из «если P, то Q» вместе с «P» должно следовать «Q», и ради этого правила «если» в языке и нужно. Оно определяет строку «антецедент истинен, консеквент ложен»: поставим туда истину и получим случай, где обе посылки истинны, а заключение ложно. Правило сломано, а значит, в этой строке обязана стоять ложь.
Требование второе: «если P, то P» истинно всегда. Что бы ни значило P, фраза «если Аня дома, то Аня дома» спорной быть не может. Тут стоит остановиться: требование сказано про одну букву, а выводы из него мы делаем про таблицу с двумя разными. Это единственный непрямой шаг во всём выводе, и разобрать его надо медленно.
Вспомните требование ноль: таблица смотрит на значения частей и больше ни на что. Значит, в строке «обе части истинны» ответ один и тот же, чем бы части ни были заполнены. Хоть «Аня дома» и «Боря дома», хоть «Аня дома» и снова «Аня дома»: для таблицы это одна и та же строка. Теперь возьмём «если Аня дома, то Аня дома» при истинном P. Обе части истинны, то есть мы стоим ровно в строке «истина, истина». Целое обязано быть истинным, а значит, в этой строке стоит истина, и стоит она там для всех пар частей сразу. Тот же ход при ложном P: обе части ложны, это строка «ложь, ложь», и целое опять обязано быть истинным. Две строки заполнены.
Осталась одна строка: антецедент ложен, консеквент истинен. Что будет, если поставить туда ложь? Получится связка, истинная ровно тогда, когда обе части совпадают по значению, но это уже другая связка, и называется она «тогда и только тогда». Тогда «если сдам, поставлю кофе» значило бы то же, что «поставлю кофе, только если сдам». А это разные обещания: во втором вы вдобавок обязались не поить кофе того, кто провалился. Поэтому в последней строке стоит истина, и таблица выходит единственной.
Отсюда главное для реестра курса: эта таблица представляет собой не открытие о русском слове «если», а решение, принятое ради работоспособности системы, с ясной ценой и понятной выгодой. Такие места в курсе отмечаются отдельно: их немного, и все они собраны в уроке 24.
Чем это расходится с русским «если»
Цену надо назвать поимённо.
Теряется связь по смыслу. «Если отпустишь, упадёт» говорит о зависимости: рука удерживает предмет, а стрелка о зависимости не говорит ничего.
Теряется сослагательность. «Если бы отпустил, упало бы» говорит о том, чего не было. Такие условные называются сослагательными, и таблицы у них нет: классическая логика их не описывает вовсе. Разница видна на паре фраз. «Если вазу разбила не Аня, то её разбил кто-то другой» истинно: ваза-то разбита. «Если бы Аня не разбила вазу, её разбил бы кто-то другой» выражает совсем другое утверждение, и, скорее всего, ложное: не разбей её Аня, ваза, наверное, стояла бы целой.
Слова почти одни и те же, а значения расходятся полностью: одна фраза о том, что есть, вторая о том, чего не случилось. Для сослагательных условных строят отдельные системы: Роберт Сталнакер начал это в 1968 году, Дэвид Льюис развил в 1973-м. Натягивать на такие фразы нашу таблицу нельзя, выйдет ерунда.
Теряется направление у «только если». «Поставлю кофе, только если сдам» записывается не как P → Q, а как Q → P: раз кофе поставлен, значит, экзамен сдан. Ошибиться тут легко, потому что слово «если» стоит на месте, а стрелка разворачивается, и проверять такие места надо каждый раз отдельно. Урок 22 разбирает перевод условных целиком и показывает, где переводчики ошибаются чаще всего. Проверка там одна и та же: сравнить условия истинности исходной фразы и записи.
Не доказала и не утверждает. Сослагательные условные осмысленны, о них спорят всерьёз, и часть из них истинна, а часть ложна. Сказано другое: эта таблица их не описывает, потому что значение такой фразы не определяется значениями частей. Отсюда и появились отдельные системы для условных, и эта работа продолжается с конца 1960-х годов.
«Тогда и только тогда»
Осталась ещё одна связка, и после разбора «если» она даётся легко. Турникет в метро: «Дверь откроется тогда и только тогда, когда приложишь карту». Здесь обещаний сразу два: если приложил, дверь откроется, а если открылась, значит, прикладывал.
Записывается P ↔ Q, читается: P тогда и только тогда, когда Q. Надёжное чтение такое: P и Q либо оба истинны, либо оба ложны. Таблица на четыре строки, и истинна связка в двух: обе части истинны или обе части ложны, а в двух других ложна.
Связка называется двойным условным: она и есть два условных сразу. Это P → Q и Q → P, то есть «если P, то Q» и «если Q, то P». Отличается она от одинарной стрелки ровно в той строке, из-за которой мы спорили: при ложном антецеденте и истинном консеквенте стрелка истинна, а двойная стрелка ложна.
Отсюда простой совет для перевода. Услышали «если», ставьте одну стрелку. Услышали «если и только если» или «тогда и только тогда», ставьте двойную. Услышали «только если», ставьте одну, но развёрнутую в другую сторону.
Обратное не то же самое
Последняя ловушка урока, и проговорить её стоит отдельно. «Если Аня в Париже, то Аня во Франции» истинно. Развернём: «Если Аня во Франции, то Аня в Париже» ложно, потому что Франция Парижем не исчерпывается. Значит, «если P, то Q» и «если Q, то P» задают разные утверждения, и одно из другого не получается.
А вот другое преобразование: «Если Аня не во Франции, то она не в Париже» означает то же самое, что исходное. Мы перевернули обе части и поменяли их местами, и получилось то же утверждение, сказанное с другого конца. Интуиция путает эти два случая ровно наоборот: разворот кажется безобидным, а переворот с перестановкой кажется подозрительным. На самом деле безопасен второй, а первый ломает всё. Полное доказательство обоих равенств даст таблица в уроке 8: там сравнивают столбцы и видят совпадение или расхождение прямо глазами.
Что дальше
Тренажёр ниже даёт «если… то» на бытовых обещаниях: четыре строки, живые случаи, без формул. Пройти его стоит до конца и не подглядывая: строка «условие не наступило, а обещанное сделано» ошибается чаще всех прочих, и полезно поймать себя на этом самому.
Модуль II на этом закончен: есть буквы, есть ключ перевода, есть пять связок. Это ¬ («неверно, что»), ∧ («и»), ∨ («или»), → («если… то») и ↔ («тогда и только тогда»). В модуле III записанное начнут считать: таблица истинности превращает вопрос «следует ли?» в перебор строк, который нельзя провалить по невнимательности. И там же станет видно, что странности этого урока вовсе не странности, а прямые следствия одной ложной строки, и другого способа получить работающую связку не нашлось.
Обещание, кофе и четыре строки
Сначала бытовое обещание: когда вас можно упрекнуть во вранье. Потом те же четыре случая таблицей. Потом три высказывания, которые звучат дико и при этом истинны.
Откуда это и кто доказал
| Роберт Сталнакер, «A Theory of Conditionals» | 1968 | Первая развёрнутая система для условных, не сводимых к таблице: значение фразы «если бы» определяется не значениями частей, а сравнением положений дел. |
| Дэвид Льюис, «Counterfactuals» | 1973 | Разработка того же направления. Сослагательные условные получают отдельную семантику, и это признание того, что классическая таблица их не описывает и описать не может. |
Ловушки и теоремы
Естественное чтение оказывается причинным: «если отпустишь, упадёт». Материальная импликация связи не утверждает вовсе, она запрещает ровно одно сочетание: антецедент истинен, консеквент ложен. Отсюда истинность фразы «если Луна сделана из сыра, то дважды два четыре» и то, что для любых двух высказываний хотя бы одно из двух условных истинно. Надёжное чтение снимает наваждение: не бывает так, чтобы P и не Q.
Это решение, а не открытие. Связка обязана быть истинностно-функциональной, иначе таблицы нет вовсе. Из шестнадцати возможных таблиц требование сохранить modus ponens и требование «если P, то P истинно всегда» отсекают почти все. Последняя строка выбрана так, чтобы «если» не совпало с «если и только если». Цена объявлена: связь по смыслу и сослагательность в запись не переносятся.
Логика этого не утверждает. Значение сослагательного условного не определяется значениями частей, поэтому таблицы у него нет. «Если вазу разбила не Аня, её разбил кто-то другой» истинно, а «если бы Аня не разбила вазу, её разбил бы кто-то другой» скорее ложно, причём при тех же частях. Для таких фраз строят отдельные системы: Сталнакер (1968), Льюис (1973).
Требования названы заранее: значение целого считается по значениям частей, modus ponens сохраняется, «если P, то P» истинно всегда. Дальше не подбор, а вывод. Второе требование ставит ложь в строку «антецедент истинен, консеквент ложен». Третье ставит истину в обе строки, где части совпали по значению. Последняя строка тоже занята: поставить туда ложь значит получить «тогда и только тогда», связку с другим смыслом. Шестнадцать вариантов сокращаются до одного. Уцелело именно это, потому что при названных требованиях выбора не было. Сами требования остаются решением, а не открытием, поэтому та же таблица стоит в реестре и второй строкой, со статусом «выбор соглашением».
Термины
- условное высказываниеconditional
- Высказывание вида «если P, то Q». Ложно ровно в одном случае из четырёх: когда P истинно, а Q ложно.
- антецедентantecedent
- Часть условного высказывания до стрелки: в «если сдам, поставлю кофе» это «сдам». Условное бывает ложным только при истинном антецеденте.
- консеквентconsequent
- Часть условного высказывания после стрелки: в «если сдам, поставлю кофе» это «поставлю кофе». Истинный консеквент делает всё условное истинным.
- материальная импликацияmaterial conditional
- Связка →, заданная одной ложной строкой: истинно всё, кроме случая «антецедент истинен, консеквент ложен». Надёжное чтение: не бывает так, чтобы P и не Q.
- двойное условноеbiconditional
- Связка ↔, «тогда и только тогда»: истинна, когда обе части совпадают по значению. Равносильна двум условным сразу, а именно P → Q и Q → P.
- сослагательное условноеcounterfactual conditional
- Условное о том, чего не было: «если бы отпустил, упало бы». Значениями частей не определяется, таблицы не имеет, классической логикой не описывается.
- modus ponensmodus ponens
- Форма с посылками «если A, то B» и «A», дающая заключение «B». Правильна: подстановки с истинными посылками и ложным заключением для неё не существует.
- истинностная функциональностьtruth-functionality
- Свойство связки, при котором значение целого определяется только значениями частей. «Потому что» им не обладает и потому в язык логики высказываний не входит.
- условия истинностиtruth conditions
- Перечень того, при каких положениях дел высказывание истинно и при каких ложно. Перевод верен, если условия истинности исходной фразы и записи совпадают.
Практикум · Четыре случая для пяти обещаний
Возьмите пять условных обещаний: свои, чужие, из рекламы, из договора. Для каждого надо перебрать четыре случая и найти тот единственный, в котором обещание нарушено. Работы минут на пятнадцать, а полезнее всего в ней расхождения между чутьём и таблицей.
- Выпишите обещание и разберите его на части: что здесь антецедент, а что консеквент. Формулируйте обе части целыми предложениями, а не обрывками.
- Постройте четыре случая и по каждому скажите вслух, нарушено обещание или нет. Начинайте не с таблицы, а с житейского чувства: поймали бы вы человека на вранье.
- Сверьте свои ответы с таблицей. Расхождение обычно всплывает в случае «условие не наступило, а обещанное сделано»: обещание там не нарушено, хотя чувство подсказывает иное.
- Перепишите каждое обещание надёжным чтением: «не бывает так, чтобы… и не…». Проверяйте правилом урока 5: назовите случай, где исходная фраза и переписанная расходятся по истинности. Нашёлся хоть один, значит, перевод неверен. Отметьте такую фразу отдельно.
- Найдите среди пяти хотя бы одно обещание, где «если» на деле означает «если и только если». Бытовая речь полна такими обещаниями: «скидка, если предъявите карту» обычно значит ещё и то, что без карты скидки не будет.
Вопросы для самопроверки
«Если сдам экзамен, поставлю кофе». В каком случае вас можно упрекнуть во вранье?
- Не сдал, а кофе поставил
- Не сдал и кофе не поставил
- Сдал, а кофе не поставил
- Во всех случаях, кроме «сдал и поставил»
«Если Луна сделана из сыра, то дважды два четыре». Это высказывание…
- истинно, потому что антецедент ложен
- ложно, потому что Луна не сделана из сыра
- бессмысленно: части не связаны между собой по смыслу
- ни истинно, ни ложно
Почему в строке «антецедент истинен, консеквент ложен» обязана стоять ложь?
- Так устроено русское слово «если»
- Иначе ломается modus ponens
- Иначе «если P, то P» перестанет быть истинным
- Это чистое соглашение, обоснования у него нет
Пусть P означает «сдам экзамен», а Q означает «поставлю кофе». Как записать «Поставлю кофе, только если сдам экзамен»?
- P → Q
- P ↔ Q
- Q → P
- ¬P ∧ Q
«Если бы Аня не разбила вазу, её разбил бы кто-то другой». Что говорит об этой фразе классическая логика?
- Что она истинна, поскольку антецедент ложен
- Что она ложна, поскольку ваза уже разбита
- Что она означает то же, что фраза без «бы»
- Ничего: таких условных её таблица не описывает
Ответы и разбор открываются в самопроверке урока: она считает результат и отмечает урок пройденным. Пройти самопроверку.
Что читать
- Тренажёр «Если» на этой странице: Четыре строки на бытовых обещаниях, без формул. Стоит пройти до того, как читать урок второй раз: ошибки в нём показывают, какое именно место таблицы не уложилось.
- forall x: Calgary, гл. 5 «Connectives» и гл. 9 «Characteristic truth tables»: Обещаний для перевода там намного больше, чем поместилось в урок, и брать их стоит подряд: странности «если» перестают удивлять примерно на десятом.
- Статья «Conditionals» в Stanford Encyclopedia of Philosophy: Обзор спора о том, что вообще значит «если» в живом языке. Читать после урока: там несколько несовпадающих теорий, и на старте это скорее запутает, чем поможет.