Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Длины диагоналей прямоугольника равны Диагонали прямоугольника делятся точкой пересечения пополам. Треугольник, образованный меньшей стороной прямоугольника и половинами диагоналей, равнобедренный, значит в этом треугольнике углы при его основании равны (180° - 80°):2 = 50° Треугольник, образованный большей стороной прямоугольника и половинами диагоналей, равнобедренный, значит в этом треугольнике углы при его основании равны (180° - (180-80)):2 = 40° ответ: Углы между диагональю прямоугольника и его сторонами равны 40° и 50°
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.