Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
1) Так как на луче точки В и С можно расположить двумя то нужно рассмотреть оба. В первом случае, если порядок точек А В С, отрезок АВ будет равен 7,8-2,5=5,3 см. Во втором случае при порядке точек А С В отрезок АВ будет равен 7,8+2,5=10,3 см.
2) Углы, образованные пересечением двух прямых, являются смежными и вертикальными. Берем два смежных угла. По условию один угол меньше другого на 22°. Сумма смежных углов 180°. Находим меньший угол - (180°-22°):2=79° Больший угол равен 79°+22°=101°
1) 5,3 см и 10,3см
2) 79° и 101°
3) 18° и 162°
