Объяснение:
Дано: Док-во:
АО=ОС 1)Расм. АВО и ДОС:
<ВАО=<ОСД 1)АО=ОС
Док-ть: 2)<ВАО=<ОСД
АВО=ДОС 3)<АОВ=<ДОС( вертик)
АВ=ДС АВО=ДОС (по 2 признаку)
2)В равных треугольниках, напротив равных
<, лежат равные стороны: АВ=ДС
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
