-1) вид дедуктивного доказательства, при котором
некоторое суждение (тезис) доказывается посредством опровержения к.-л.
других суждений, связанных с доказываемым. Различают апагогическое К.д.
(доказательство от противного), при котором из отрицания тезиса выводится
заведомо ложное суждение (например, противоречие), и разделительное К. д.,
при котором опровергаются все альтернативы тезиса. (О К.д. (уликах) в
праве - см. ДОКАЗАТЕЛЬСТВА).