Основные положения Базовые логические операции Логические основы компьютера

Понятие Высказывание Умозаключение Доказательство

 

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

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

Пример. Докажите, что углы при основании равнобедренного треугольника равны.

Дано: треугольник АВС - р/б

АС - основание

Доказать: угол А = углу С

*При доказательстве умозаключение будем обозначать цифрами в скобках: (1), (2) и т.д.

Доказательство:

Если треугольник АВС равнобедренный с основанием АС, то АВ = ВС (по определению р/б треугольника) (1);

Проведём ВН - биссектрису угла В, тогда угол 1 = углу 2 (по определению биссектрисы угла) (2);

АВ = ВС, ВН - общая сторона, угол 1 = углу 2, следовательно треугольник АВН равен треугольнику ВНС (по первому признаку равенства треугольников) (3);

В равных треугольниках против равных сторон лежат равные углы, следовательно угол А = углу С, т.к. они лежат против общей стороны ВН (4).

Что и требовалось доказать.

Понятие Высказывание Умозаключение Доказательство

©Максимовская М.А., 2016 год, Москва