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