Модус толленс: правило вывода от противного с примерами

Модус толленс (от латинского modus tollens, дословно «способ отрицания») это базовое правило вывода классической логики, которое рассуждает от противного: если истинна условная посылка «если A, то B», но B оказывается ложным, то с необходимостью ложно и A. На этом правиле держится доказательство от противного, опровержение гипотез в науке и значительная часть логики высказываний. Ниже разберём схему модус толленс, его символьную запись, отличие от зеркального модус поненс и главную ошибку, с которой его путают. Чтобы быстро проверить конкретное рассуждение на корректность, соберите его в форме ниже и отправьте на разбор.

Что такое модус толленс

Модус толленс это форма умозаключения с двумя посылками и одним заключением. Первая посылка условная (импликация): «если выполнено A, то выполнено B». Вторая посылка утверждает, что B на самом деле не выполнено, то есть отрицает консеквент. Вывод: следовательно, не выполнено и A.

Полное латинское название правила modus tollendo tollens переводится как «способ, который, отрицая (консеквент), отрицает (антецедент)». Мы отрицаем вторую часть условия и тем самым получаем право отрицать первую.

Рассчитать для своей задачи

Классический пример: «Если идёт дождь, то асфальт мокрый. Асфальт сухой. Следовательно, дождя нет». Здесь A это «идёт дождь», B это «асфальт мокрый». Раз следствие B не наступило, значит не было и причины A. Схема соблюдена, заключение неизбежно.

Запись через импликацию

В символьной логике модус толленс записывают компактно. Условную посылку обозначают импликацией $A \to B$ (читается «из A следует B»), вторую посылку отрицанием консеквента $\neg B$ (где $\neg$ это отрицание, логическое «не»), а вывод отрицанием антецедента $\neg A$. Линия отделяет посылки от заключения:

$\frac{A \to B,\quad \neg B}{\neg A}$

Ту же мысль можно выразить одной формулой пропозициональной логики, которая является тавтологией (истинна при любых значениях A и B):

$\big((A \to B) \wedge \neg B\big) \to \neg A$

Здесь $\wedge$ это конъюнкция (логическое «и»). Тавтологичность означает, что правило сохраняет истину: из истинных посылок оно не может привести к ложному заключению. Поэтому модус толленс называют корректным (валидным) правилом вывода. Глубинная причина его корректности это закон контрапозиции: импликация $A \to B$ логически эквивалентна импликации $\neg B \to \neg A$. Получив $\neg B$, мы по сути применяем к контрапозиции уже знакомый прямой вывод.

Чем модус толленс отличается от модус поненс

У модус толленс есть зеркальный «брат» модус поненс (modus ponens, «способ утверждения»). Оба правила корректны, но работают с разными частями импликации и в разных направлениях.

Рассчитать для своей задачи

Модус поненс идёт «вперёд»: если «из A следует B» и A истинно, то истинно B. Символьно это $\frac{A \to B,\ A}{B}$. Модус толленс идёт «назад» через отрицание: если «из A следует B», но B ложно, то ложно и A. Разница простая: модус поненс утверждает антецедент (первую часть условия) и получает консеквент, а модус толленс отрицает консеквент (вторую часть) и получает отрицание антецедента. Оба перехода логически безупречны. Подробный разбор прямого правила с теми же примерами есть в материале про модус поненс.

Чтобы не путать правила, достаточно спросить себя, что именно делает вторая посылка. Утверждаете A это поненс, отрицаете B это толленс. Любой другой ход с импликацией (отрицать A или утверждать B) ведёт к ошибке.

Главная ошибка: отрицание антецедента

Самая частая ловушка вокруг модус толленс это попытка рассуждать «зеркально неправильно»: отрицать первую часть условия и делать вывод об отрицании второй. Это уже не правило, а логическая ошибка под названием «отрицание антецедента» (denying the antecedent).

Рассчитать для своей задачи

Сравните корректный и ошибочный ход. Корректно (толленс): «Если идёт дождь, то асфальт мокрый. Асфальт сухой (не B). Следовательно, дождя нет (не A)». Ошибочно (отрицание антецедента): «Если идёт дождь, то асфальт мокрый. Дождя нет (не A). Следовательно, асфальт сухой (не B)». Вывод неверен: асфальт мог намокнуть от поливальной машины, растаявшего снега или мойки окон. Импликация $A \to B$ не утверждает, что B бывает только из-за A, поэтому из отсутствия A нельзя заключать отсутствие B.

Симметрично существует и вторая ошибка, «утверждение консеквента»: «асфальт мокрый, значит идёт дождь». Тоже неверно по той же причине. Запоминается правило так: корректно отрицать вторую часть условия или утверждать первую; обратные ходы (отрицать первую, утверждать вторую) ведут к ошибкам.

Модус толленс в доказательствах и науке

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

В естественных науках модус толленс это логический скелет проверки гипотез. Из гипотезы A выводят наблюдаемое следствие B («если гипотеза верна, то мы увидим вот это»). Если эксперимент показывает, что B не наблюдается ($\neg B$), гипотезу отвергают ($\neg A$). Именно так устроен фальсификационизм Карла Поппера: научная теория должна быть опровержимой, и опровержение это и есть применение модус толленс. В информатике и системах автоматического вывода это правило используют наряду с прямым выводом, когда рассуждают от целей и противоречий.

Как корректно строить рассуждение

Чтобы применить модус толленс без ошибок, держите в голове три шага. Сначала чётко выделите импликацию: что здесь A (условие) и что B (следствие). Затем убедитесь, что вторая посылка отрицает именно B (консеквент), а не A и не утверждает что-либо. И только потом делайте вывод $\neg A$.

Полезно проговаривать рассуждение в канонической форме «если A, то B; B неверно; следовательно, A неверно». Если формулировка перестаёт укладываться в эту схему, скорее всего вы соскальзываете в отрицание антецедента или утверждение консеквента. В учебных задачах по логике часто просят опознать правило вывода в тексте и оценить его корректность, поэтому тренируйтесь переводить бытовые фразы в символьную запись $A \to B$ и аккуратно расставлять отрицания.

Частые ошибки

• Путают с отрицанием антецедента. Из «дождя нет» не следует «асфальт сухой». Отрицание A не даёт права отрицать B.
• Путают с утверждением консеквента. «Асфальт мокрый, значит идёт дождь» это тоже ошибка: следствие могло наступить по другой причине.
• Меняют местами толленс и поненс. Отрицаете B это толленс (вывод не-A), утверждаете A это поненс (вывод B). Не наоборот.
• Считают форму гарантией истины. Модус толленс сохраняет истину, только если обе посылки истинны. Из ложной посылки корректная форма выведет что угодно.
• Подменяют импликацию эквивалентностью. $A \to B$ не означает $B \to A$; читать условие в обе стороны нельзя, корректна только контрапозиция $\neg B \to \neg A$.

FAQ

Чем модус толленс отличается от доказательства от противного? Доказательство от противного это метод, а модус толленс его логический механизм. Предположив обратное и выведя ложное следствие, мы по правилу модус толленс заключаем, что исходное предположение ложно. То есть метод строится на этом правиле вывода.

Всегда ли вывод по модус толленс истинный? Вывод гарантированно истинен, только если истинны обе посылки: и импликация $A \to B$, и отрицание $\neg B$. Правило корректно по форме и никогда не выведет ложь из истины, но при ложной посылке заключение ненадёжно.

Почему модус толленс работает, а отрицание антецедента нет? Потому что импликация $A \to B$ эквивалентна своей контрапозиции $\neg B \to \neg A$, но не эквивалентна $\neg A \to \neg B$. Отрицая B, мы фактически применяем прямой вывод к контрапозиции; отрицая A, мы используем несуществующую связь.

Коротко

Модус толленс это корректное правило вывода: из «если A, то B» и «B ложно» следует «A ложно», что записывается как $((A \to B) \wedge \neg B) \to \neg A$. Оно работает благодаря закону контрапозиции и лежит в основе доказательства от противного и опровержения гипотез. Его легко спутать с ошибкой «отрицания антецедента» (из не-A выводят не-B) и с зеркальным правилом модус поненс. Чтобы рассуждение было валидным, отрицайте консеквент, а не антецедент, и проверяйте, что обе посылки истинны.