ЛОГИКА

В самом деле, по теореме Пифагора имеем:

а² +b² = с² (1)

Разделим обе части уравнения на с² и получим:

а²/c² + b²/c² = 1 (2)

В левой части уравнения каждый её член есть квадрат:

(a/c)²+(b/c)² = 1 (3)

Но так как, согласно определениям, a/c=sin(α) и b/c=cos(α), то наше уравнение (3) принимает вид:

sin²α +cos²α = l.

§ 29. Но ход рассуждения в доказательстве может быть и обратный. В ряде случаев рассуждение исходит не из оснований, а из рассмотрения доказываемого тезиса. Рассмотрение это показывает, что из тезиса (окажись он принятым) необходимо вытекает ряд положений, о которых уже известно, что они истинны, и которые были доказаны другими способами. Доказательство, в котором рассуждение идёт не от оснований к тезису, но наоборот — от рассмотрения тезиса к уяснению необходимой связи этого тезиса с основаниями, называется регрессивным. Название это показывает, что мысль в ходе рассуждения идёт как бы назад: от тезиса к основаниям.

Часто одно и то же положение может быть доказано как прогрессивным, так и регрессивным способом. Та же тригонометрическая формула, которую мы выше вывели посредством прогрессивного доказательства, может быть выведена путём доказательства регрессивного.

Требуется доказать, что sin²α+cos²α= l.

Рассматривая доказываемый тезис и вспоминая, что по определению sin α=a/c и cos α = b/c можем выразить тезис в уравнении:

(a/c)²+(b/c)² = 1. (2)

Осуществив требуемое формулой (2) возведение a/c и b/c — в квадрат, получаем:

a²/c² + b²/c² = 1. (3)

Помножая обо части уравнения (3) на с², имеем: а² + b² = с² (4), т. е. формулу теоремы Пифагора.

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

§ 30. Математические доказательства могут быть различаемы в зависимости от того, доказывается ли тезис прямо или же путём опровержения суждения, противоречащего доказываемому тезису. Доказательство, в котором тезис прямо выводится из других суждений, установленных или принятых в качестве истинных, называется прямым.

Доказательство, в котором для обоснования тезиса опровергается суждение, противоречащее тезису, называется косвенным. Из этого определения видно, что к косвенным доказательствам принадлежит уже известное нам апагогическое доказательство.

Апагогическое доказательство называется также «reductio ad absurdum»¹, т. е. «приведением к нелепости». Название это указывает, что выводы из допущения, принятого в начале апагогического доказательства, извлекаются до тех пор, пока не дойдут до вывода, который оказывается нелепым, так как противоречит другим — истинным — посылкам.

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

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

Опровержение

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

Опровержение известного утверждения, т. е. доказательство ложности его по существу, есть в то же время опровержение всякого доказательства этого утверждения, каковы бы ни были применяемые при этом формы доказательства.