13.Особенности математического доказательства.

Умозаключение– это форма мышления, посредством которой из одного или нескольких высказываний, называемых посылками, выводится высказывание, содержащее новое знание, называемое заключением.

 Дедуктивным называют умозаключение, в котором посылки и заключение находятся в отношении логического следования: А₁, А₂, …, А_n В или А₁, А₂, …, А_n

Неполной индукцией называют умозаключение, в котором на основании того, что некоторые объекты класса обладают определенным свойством, делается вывод о том, что этим свойством обладают все объекты данного класса.

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

Способы доказательств.

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

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

Основные законы логики:

1. Закон тождества. Каждая мысль, повторяясь в рассуждении, должна быть тождественной самой себе.

Закон тождества означает, что в процессе рассуждения нельзя подменять одну мысль другой, одно понятие другим. Нельзя тождественные мысли выдавать за различные, а различные – за тождественные.

2. Закон непротиворечия.Высказывание и его отрицание не могут быть одновременно истинными; по крайней мере одно из них обязательно ложно.

Если в мышлении (и речи) человека обнаружено формально-логическое противоречие, то такое мышление считается неправильным, а суждение, из которого вытекает противоречие, считается ложным.

3. Закон исключенного третьего.Из двух противоречивых высказываний об одном и том же предмете одно – истинно, а другое – ложно, третьего не дано.

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

Когда речь идет о математическ4ом доказательстве, надо:

¾ иметь то утверждение, истинность которого нужно доказывать;

¾ понимать, что доказательство – это цепочка дедуктивных умозаключений; оно выполняется по правилам и законам логики;

¾ понимать, какие другие истинные утверждения можно использовать в процессе доказательства.

По способу ведения различают прямые и косвенные доказательства.

 Прямое доказательство утверждения А В - это построение цепочки дедуктивных умозаключений, выполняемых последовательно от А к В с соблюдением правил и законов логики и с помощью системы утверждений, истинность которых доказана.

(Если в четырехугольники три угла прямые, то он прямоугольник)

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

(а+3> 10, то а ¹7)