Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
угол a= 25 градусов, угол в= 97 градусов, угол с=86 градусов .найти угол d.
сумма углов выпуклого четырёхугольника равна 360 градусов.
угол d=360 - угол а-угол в-угол c = 360 - 25 - 97 - 25 =152 градуса .
ответ : 152 градуса .