Логика. Учебник для средней школы. [Издание восьмое. Утверждён Министерством просвещения РСФСР.]

В целях доказательства допускается, что истинно положение, противоречащее тезису, т. е. что АС не равно ВС. Тогда из этого последнего положения, согласно теореме, что во всяком треугольнике против большего угла лежит большая сторона, будет следовать, что угол А должен быть или больше, или меньше угла В. Но так как этот вывод противоречит принятому положению, то противоречащее тезису положение является ложным. Отсюда следует, что истинным должно быть положение, противоречащее ему, а именно — тезис.

При помощи этого способа доказательства, который называется также доказательством от противного, обосновывается истинность такой, например, теоремы геометрии:

«Два перпендикуляра к одной и той же прямой не могут пересечься, сколько бы их ни продолжали».

Ход доказательства развёртывается следующим образом. Допустим на минуту, что истинно положение, противоречащее тезису, т. е что «Два перпендикуляра к одной и той же прямой при продолжении пересекаются». Тогда из этого последнего положения следует, что из точки, лежащей вне прямой, можно опустить на эту прямую два перпендикуляра.

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

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

Так мы доказали, что допущенное на минуту в качестве истинного положение, противоречащее нашему тезису, о том, что «Два перпендикуляра к одной и той же прямой при продолжении пересекаются», ложно.

В результате мы получили два противоречащих суждения: «Перпендикуляры пересекаются» и «Перпендикуляры не пересекаются».

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

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

Разделительное косвенное доказательство применяется в тех случаях, когда известно, что доказываемый тезис входит в число фактов, которые в своей сумме полностью исчерпывают все возможные факты по данному вопросу.

Способ такого доказательства заключается в следующем: отвергаются все факты, кроме одного, который и является доказываемым тезисом.

Так, если установлено, что первенство школы в беге на 100 метров оспаривали только учащиеся К., В. и Д., и если при этом нам стало известно, что ни К., ни В. не оказались первыми, то тем самым доказано, что первенство завоёвано учеником Д.

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

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

§ 4. Правила доказательства

Для того чтобы доказательство действительно обосновывало тезис, надо соблюсти ряд совершенно необходимых правил.

ПЕРВОЕ ПРАВИЛО. На занятии кружка или на собрании иногда можно наблюдать такую картину: выступающий в прениях говорит очень гладко, приводит некоторые доводы, между которыми имеется известная связь. Но вот вы решаете уловить, какую же мысль развивает выступающий в прениях, каков его тезис. И оказывается, сделать это не так-то легко. Определить тезис очень трудно.