Прямое и косвенное доказательство

Процесс доказательства может быть прямой или косвенный.

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

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

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

Возьмём пример из математики. Требуется доказать, что в треугольнике, в котором два угла равны, противолежащие им стороны также равны. Пусть в треугольнике АВС угол а равняется углу b, и пусть противолежащие им стороны будут АС и ВС. Нам нужно доказать, что АС == ВС. Это есть тезис.

Возьмём положение, противоречащее тезису: «АС не равняется ВС». Это будет антитезис. Тогда из этого последнего положения (согласно теореме, что во всяком треугольнике против большего угла лежит большая сторона) будет следовать, что угол а должен быть или больше, или меньше угла b.

Но так как этот, вывод противоречит принятому нами положению, то антитезис, является ложным, тогда истинным должно быть положение, противоречащее ему, именно тезис. Такого рода доказательство называется также reductio ad impossibile или reductio adabsurdum.