Косвенное доказательство

Определение "Косвенное доказательство" в Большой Советской Энциклопедии

Косвенное доказательство, доказательство в логике какого-либо суждения (тезиса), основанное на опровержении (т. е. доказательстве ложности, доказательстве отрицания) некоторых др. суждений, находящихся в определённых отношениях к тезису. В т. н. разделительном Косвенное доказательство тезис представляет собой один из членов дизъюнкции (т. е. суждения вида «A₁, или А₂, или..., или An»), о которой известно, что она истинна (или предполагается предварительно доказанной), а само доказательство состоит в опровержении всех членов Ai этой дизъюнкции, кроме доказываемого. Т. н. апагогическое Косвенное доказательство, или доказательство от противного, состоит в опровержении отрицания доказываемого тезиса («антитезиса»). Если исходить из истинности (или доказуемости) исключенного третьего принципа («А или не-А»), то апагогично Косвенное доказательство можно считать частным случаем разделительного.