Основные положения Базовые логические операции Логические основы компьютера
Понятие Высказывание Умозаключение Доказательство
Доказательство – мыслительный процесс, направленный на подтверждение или опровержение какого-либо положения посредством других несомненных, ранее обоснованных доводов. В доказательстве логической проверке подвергается истинность посылок. Доказательство - это цепь вытекающих друг из друга или связанных друг с другом умозаключений. |
|
Пример. Докажите, что углы при основании равнобедренного треугольника равны. |
|
Дано: треугольник АВС - р/б АС - основание Доказать: угол А = углу С *При доказательстве умозаключение будем обозначать цифрами в скобках: (1), (2) и т.д. Доказательство: Если треугольник АВС равнобедренный с основанием АС, то АВ = ВС (по определению р/б треугольника) (1); Проведём ВН - биссектрису угла В, тогда угол 1 = углу 2 (по определению биссектрисы угла) (2); АВ = ВС, ВН - общая сторона, угол 1 = углу 2, следовательно треугольник АВН равен треугольнику ВНС (по первому признаку равенства треугольников) (3); В равных треугольниках против равных сторон лежат равные углы, следовательно угол А = углу С, т.к. они лежат против общей стороны ВН (4). Что и требовалось доказать. |
|
Понятие Высказывание Умозаключение Доказательство
©Максимовская М.А., 2016 год, Москва