Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Ра́диус (лат. radius — спица колеса, луч) — отрезок, соединяющий центр окружности (или сферы) с любой точкой, лежащей на окружности (или поверхности сферы), а также длина этого отрезка. Окру́жность — замкнутая плоская кривая, все точки которой одинаково удалены от данной точки (центра), лежащей в той же плоскости, что и кривая. Диаметр окружности является хордой, проходящей через её центр; такая хорда имеет максимальную длину. Хо́рда — отрезок, соединяющий две точки данной кривой (например, окружности, эллипса, параболы). Круг – множество точек плоскости, удаленных от заданной точки этой плоскости на расстояние, не превышающее заданное (радиус круга).
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.