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

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

КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО — вид логического доказательства, отличающийся способом обоснования тезиса. В отличие от прямого доказательства в косвенном доказательстве истинность доказываемого тезиса обосновывается посредством установления ложности некоторых положений. Последние так связаны с доказываемым тезисом, что из их ложности следует истинность тезиса. Существуют разные виды косвенного доказательства.