Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Ну про самого Ромба. Ромб - четырехугольник, у которого равны все стороны и противолежащие углы. ABCD - ромб, ВН = 4 см - высота, AB + BC + CD + AD = 4х = 32 см. Найдем длину стороны ромба: 4х = 32; х = 32/4; х = 8. Рассмотрим треугольник ВНА: ВН = 4 см и НА - катеты, АВ = 8 см - гипотенуза, угол ВНА = 90 градусов. Так как катет ВН в 2 раза меньше гипотенузы АВ, то он лежит напротив угла, равного 30 градусов (свойства прямоугольного треугольника), следовательно угол НАВ (угол А) = 30 градусов. Так как в ромбе противолежащие углы равны, то угол А = угол С = 30 градусов. По теореме о сумме углов четырехугольника: угол А + угол В + угол С + угол D = 360 градусов; 30 + х + 30 + х = 360; 2х = 360 - 60; 2х = 300; х = 300/2; х = 150. Угол В = угол D = 150 градусов. ответ: угол А = угол С = 30 градусов, угол В = угол D = 150 градусов.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.