Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.
Для того, чтобы охранять природу человеку необязательно вступать в организации, достаточно ставить низкую температуру при стирке, чтобы сохранять энергию, а также не пользоваться лифтом или делать это редко, такая мера также позволит электроэнергию. нужно чаще использовать велосипед, а не автомобиль или общественный транспорт, это позволит энергию и делать меньше выбросов газов в атмосферу. можно использовать энергосберегающие лампы и потом сдавать их, а также использовать бумагу из вторичного сырья и прочее.
Доказательство утверждения проводится следующим образом. Сначала принимают предположение, что утверждение неверно, а затем доказывают, что при таком предположении было бы верно некоторое утверждение , которое заведомо неверно. Полученное противоречие показывает, что исходное предположение было неверным, и поэтому верно утверждение , которое позакону двойного отрицания равносильно утверждению .
В интуиционистской логике закон исключённого третьего не действует, поэтому такие доказательства в ней не принимаются.