Энциклопедический словарь, 1998 г.
вид дедуктивного доказательства, при котором некоторое суждение (тезис) доказывается посредством опровержения некоторых других суждений, связанных с доказываемым. Различают апагогическое косвенное доказательство (доказательство от противного), при котором из отрицания тезиса выводится заведомо ложное суждение (напр., противоречие), и разделительное косвенное доказательство, при котором опровергаются все альтернативы тезиса.
О косвенных доказательствах (уликах) в праве в ст. Доказательства.
Большой юридический словарь
Большая Советская Энциклопедия
доказательство в логике какого-либо суждения (тезиса), основанное на опровержении (т. е. доказательстве ложности, доказательстве отрицания) некоторых др. суждений, находящихся в определённых отношениях к тезису. В т. н. разделительном К. д. тезис представляет собой один из членов дизъюнкции (т. е. суждения вида «A1, или А2, или..., или An»), о которой известно, что она истинна (или предполагается предварительно доказанной), а само доказательство состоит в опровержении всех членов Ai этой дизъюнкции, кроме доказываемого. Т. н. апагогическое К. д., или доказательство от противного , состоит в опровержении отрицания доказываемого тезиса («антитезиса»). Если исходить из истинности (или доказуемости) исключенного третьего принципа («А или не-А»), то апагогично К. д. можно считать частным случаем разделительного.