Способы математического доказательства

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Билет 15 Понятие соответствия между множествами. Способы задания соответствий. Взаимно - однозначные соответствия. Равномощные множества. Примеры соответствий (в том числе и взаимно - однозначных).