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