2. ОСНОВАНИЯ ДОКАЗАТЕЛЬСТВА (АРГУМЕНТЫ)

2. ОСНОВАНИЯ ДОКАЗАТЕЛЬСТВА (АРГУМЕНТЫ)

Доказательство осуществлено всюду там, где показывается, что истинность (или ложность) некоторого тезиса необходимо следует из истинности (или ложности) некоторых положений, уже ранее доказанных или признанных истинными, а также из выясненного содержания основных для данной науки понятий.

Все положения, на которые опирается доказательство и из которых — при условии их принятия или признания истинными — необходимо следует истинность доказываемого тезиса, называются основаниями, или аргументами доказательства. Так, при доказательстве теоремы о сумме внутренних углов плоского треугольника основаниями доказательства будет, во-первых, ранее установленное содержание таких понятий геометрии, как «плоский треугольник», «внутренний угол», «смежные углы», «параллельность линий», «внутренние накрест лежащие углы», «соответственные углы». Во-вторых, основаниями доказательства данной теоремы будут некоторые ранее принятые в качестве истинных или ранее доказанные положения геометрии Евклида. Таково принимаемое в геометрии Евклида без доказательства положение, что через точку вне данной прямой в одной с нею плоскости может быть проведена одна и только одна прямая, не пересекающаяся с данной прямой. Таково доказываемое в геометрии Евклида положение о том, что образованные пересечением прямой двух параллельных линий внутренние накрест лежащие и соответственные углы равны между собою. Таково же доказываемое в геометрии Евклида положение о равенстве суммы двух смежных углов двум прямым.

Основаниями (аргументами) доказательства теоремы о сумме внутренних углов треугольника эти положения являются потому, что принятие и доказательство их в качестве истинных с необходимостью приводит к признанию истинным также и положения о равенстве суммы внутренних углов треугольника двум прямым.

Основания (аргументы) доказательства заключают в своём составе положения различного типа. В число оснований входят: а) положения об удостоверенных единичных фактах; б) определения; в) аксиомы, или постулаты, г) доказанные ранее данной наукой положения, или теоремы.