КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО

КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО доказательство в логике к.-л. суждения (тезиса),
основанное на опровержении (т. е. доказательстве ложности, доказательстве
отрицания) нек-рых др. суждений, находящихся' в определённых отношениях
к тезису. В т. н. разделительном К. д. тезис представляет собой один из
членов дизъюнкции (т. е. суждения вида "Аили ..., или An"), о к-рой известно, что она истинна (или предполагается
предварительно доказанной), а само доказательство состоит в опровержении
всех членов ?? этой дизъюнкции, кроме доказываемого. Т. н. апагогическое
К. д., или доказательство от противного, состоит в опровержении
отрицания доказываемого тезиса («антитезиса»). Если исходить из истинности
(или доказуемости) исключённого третьего принципа («Л или не-Л»),
то апагогич. К. д. можно считать частным случаем разделительного.

А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я