Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
DC=1/2 AC , тк катет , лежащий против острого угла в 30 град. равен половине гипотенузы . Следовательно DC= 12/2=6 см . Я провела высоту из угла D . Высота делит угол пополам . Рассмотрим треугольник ADW. Угол DAW=30градусов ; угол DWA=90градусов ; а угол WDA =180-(90+30)=60 , значит угол WDC тоже 60, в сумме 120 . Рассмотрим треугольник ADC . Чтобы узнать угол С , надо 180-(120+30)=30градусов . AD=1/2AC , потому что катет , лежащий против угла в 30 градусов равен половине гипотенузы , значит равен 6 см
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.