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