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