Апагогическое
доказательство (или доказательство от противного) — вид косвенного доказательства.
Для А. д. характерно следующее строение. Пусть В есть подлежащий
доказательству тезис, Ai, А2 ... Ап — истинные основания, с помощью к-рых
доказывается этот то-зпс. Условно предполагают истинным положение не-В,
логически противоречащее тезису В, и включают его в состав оснований доказательства.
Из пополненных таким образом оснований: Аь А2 ... Ап, не-В выводят заключения,
пока пе получают положение, логически проти
воречащее
к.-л. из оснований доказательства. Такое противоречие с исходными основаниями
при условии правильности вывода возможно лишь в случае допущения лжи в самих
основаниях доказательства. Но Ai, А2 ... А„ безусловно истинные основания, значит,
ложно было предположение об истинности не-В. Значит, В истинно.