Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
ВОт ответ
В треугольнике AMB:
L BAM = L A / 2 = 58 / 2 = 29 град.
L ABM = L B / 2 = 96 / 2 = 48 град.
L BAM + L ABM + L AMB = 180 град. =>
L AMB = 180 - (L BAM + L ABM) = 180 - (29 + 48) = 180 - 77 = 103 град.