Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Шаг 1. Поставить острие циркуля в вершину угла и на обоих лучах угла отложить равные отрезки (сделать засечки) . Шаг 2. Не меняя раствора циркуля поставить поочередно острие циркуля на засечки, сделанные в шаге 1, и провести дуги, так, чтобы они пересеклись. Шаг 3. Точку пересечения дуг соединить с вершиной угла. Это и будет биссектриса. Объяснение. Если соединить засечки, сделанные на шаге 1 с точкой пересечения дуг, то получится ромб. Диагональ ромба является биссектрисой его противоположных углов.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.