Косвенное доказательство

вид логического доказательства, отличающийся способом обоснования тезиса. В отличие от прямого доказательства в косвенном доказательстве истинность доказываемого тезиса обосновывается посредством установления ложности некоторых положений. Последние так связаны с доказываемым тезисом, что из их ложности следует истинность тезиса. Существуют разные виды косвенного доказательства. В разделительном косвенном доказательстве рассматривается некоторое число предположений, в совокупности исчерпывающих все возможные в данном случае утверждения; выясняется ложность всех предположений, кроме одного, истинность которого, таким образом, и устанавливается. Другой вид косвенного доказательства — апагогическое доказательство (доказательство от противного), в ходе которого получают логическое противоречие из допущения истинности антитезиса (утверждения, противоречащего доказываемому тезису) и на этом основании делают заключение об истинности тезиса.