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

Что такое дедуктивное рассуждение? Это такой способ рассуждения, в котором, грубо говоря, истинность введенных предложения (посылки) логически гарантирует истинность выходного предложения (вывод) при условии, что в рассуждениях не было допущено ошибок...