Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Объяснение:
Задание 5
Высота, проведенная к гипотенузе, есть среднее пропорциональное между проекциями катетов на гипотенузу.
Катет есть среднее пропорциональное между гипотенузой и проекцией этого катета на гипотенузу.
НЕВЕРНЫЙ ОТВЕТ -3
ЗАДАНИЕ 6
Высота, проведенная к гипотенузе, есть среднее пропорциональное между проекциями катетов на гипотенузу.
h=√(a*b) , 2,5=√(1,5*b) , 2,5²=1,5*b , (5/2)² =3/2*b , b=25/6 (cм)
ЗАДАНИЕ 7
Найдем гипотенузу a+b=800+100=900(мм).
Катет есть среднее пропорциональное между гипотенузой и проекцией этого катета на гипотенузу.
с=√(а*(а+b) ,с=√(800*900)=√(2*400*900)=20*30√2=600√2(мм)