Доказательство Конструктивное

(от греч, dicha и tome - рассечение на две части) — деление объема понятия на две взаимоисключающие части, пол­ностью исчерпывающие объем делимого понятия. Основанием дихотомического деления объема понятия служит наличие или отсутствие видообразуюшего признака. Напр., объем понятия «человек» можно разделить на два взаимоисключающих класса. «мужчины» и «не-мужчины». Понятия «мужчины» и «не-мужчины» являются противоречащими друг другу, поэтому их объемы не пересекаются. От Д. Следует отличать обыч..

— рассуждение, устанавливающее истин­ность к.-л. Утверждения путем приведения других утверждений, истинность которых уже доказана. В Д. Различаются тезис - ут­верждение, которое нужно доказать, и основание, или ар­гументы, — те утверждения, с помощью которых доказывается тезис. Напр., тезис «Платина проводит электрический ток» мож­но доказать с помощью следующих истинных утверждений. «Пла­тина — металл» и «Все металлы проводят электрический ток». Понятие Д.— одно из центральных в логике и матема..

См. Косвенное доказа­тельство.. ..

Или. Доказательство разбором случаев, — логически правильное рассуждение, когда от нескольких условных высказываний (посылок), имею­щих одинаковое следствие, осуществляется переход к утвержде­нию этого следствия путем установления того, что по меньшей мере одно из оснований условных высказываний истинно. В наи­более простом случае посылками являются высказывания. «Если есть первое, то есть третье», «Если есть второе, то есть третье» и «Есть первое или есть второе», заключением — высказывание «Ес..