Виды доказательства

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