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

воречащее к.-л. из оснований дока­зательства. Такое противоречие с исходными основаниями при усло­вии правильности вывода возможно лишь в случае допущения лжи в самих основаниях доказательства. Но Ai, А2 ... А„ безусловно истинные основания, значит, ложно было предположение об истинности не-В. Значит, В истинно.