Доказательство от противного: точное значение и логический пример
Доказательство от противного — способ логического рассуждения, при котором временно допускают положение, несовместимое с доказываемым, и показывают, что из этого допущения следует противоречие. В классической логике такая процедура может служить обоснованием исходного тезиса. Однако точная схема зависит от того, доказывают ли отрицание утверждения или снимают двойное отрицание: это различие особенно важно при сопоставлении классической и конструктивной логики.
Содержание статьи8 разделов
Что именно означает «от противного»
Название обозначает не спор с оппонентом и не подбор примеров против чужого мнения, а правило организации вывода. В рассуждении вводят временное предположение, которое затем снимают после получения невозможного следствия. Противоречие должно быть логически получено из предположения вместе с допустимыми посылками, а не объявлено таковым потому, что результат кажется странным или неприятным.
В логической литературе для родственных форм употребляется латинское выражение reductio ad absurdum — «сведение к абсурду». Термин применяется и к доказательствам отрицательных высказываний, и к косвенным доказательствам положительных тезисов. Границы между этими схемами становятся существенными, когда меняется используемая система логики.
Две схемы, которые часто смешивают
Как доказать отрицание тезиса
Пусть нужно доказать, что утверждение P неверно. Временно предполагают P и выводят противоречие — например, Q и «не-Q». Тогда получают «не-P». Такой переход допускается также в интуиционистской логике: доказательство отрицания как раз и состоит в построении вывода к противоречию из предположения.
Как обосновать положительный тезис косвенно
Пусть требуется доказать P. Предполагают «не-P» и получают противоречие. Из этого непосредственно следует «не-не-P». Чтобы перейти к P без дополнительных условий, классическая логика использует закон снятия двойного отрицания. Конструктивные подходы в общем случае не разрешают такой переход: установление невозможности «не-P» не всегда равнозначно построению прямого доказательства P.
Разобранный пример: почему квадратный корень из двух не рационален
Рассмотрим традиционный математический пример. Предположим противное: √2 — рациональное число. Тогда его можно записать как дробь a/b, где a и b — целые числа без общих делителей, а b не равен нулю. Возведём равенство √2 = a/b в квадрат: получим a² = 2b². Следовательно, a² чётно, значит, и a чётно; пусть a = 2k. После подстановки выйдет 4k² = 2b², то есть b² = 2k². Значит, b тоже чётно.
Мы получили, что и числитель, и знаменатель исходной дроби делятся на два. Это противоречит выбору дроби без общих делителей. Поэтому исходное предположение ошибочно: √2 нельзя представить отношением двух целых чисел. Сила примера не в ссылке на «очевидность» иррациональности, а в чётком показе, какая посылка оказалась несовместима с другими условиями.
Важно, что здесь мы доказали отрицательное утверждение — невозможность рационального представления. Для него не требуется спорный в конструктивной логике общий переход от двойного отрицания к утверждению.
Условия корректного применения
- Ясно обозначено допущение: читатель видит, что оно временное, а не уже доказанная посылка.
- Шаги вывода проверяемы: каждое следствие опирается на правила выбранной логики и заявленные предпосылки.
- Противоречие действительно получено: речь идёт о несовместимых утверждениях, а не о конфликте мнений или удивительном результате.
- Вывод соответствует системе: из «не-не-P» не делают автоматически P, если рассуждают в конструктивных правилах без дополнительных оснований.
Чем доказательство от противного не является
Это не контрпример. Один случай, опровергающий всеобщее утверждение, может установить его ложность непосредственно, без косвенной схемы. Это не доведение позиции оппонента до карикатуры. Указание на нелепое последствие убедительно лишь при доказанности самого следования. Это не противоречие между источниками. Два спорящих автора могут исходить из разных фактов, предпосылок или значений слов, и это ещё не формальное логическое противоречие.
В философии метод особенно уместен при анализе совместимости тезисов, проверке аргументов, построении логических систем и обсуждении оснований математики. Но его надёжность не превосходит надёжности используемых посылок и правил вывода. Из противоречивого набора исходных положений можно получить видимость безупречного доказательства, поэтому проверяют не только финальную формулу, но и весь ход рассуждения.
Итог: доказательство от противного — логический метод, в котором допущение приводит к противоречию. Его точная сила зависит от того, что требуется доказать и какие правила логики приняты.
Проверенные источники
Сохраните материал или отправьте тому, кому он пригодится.