В чем состоит способ подтверждения "От неприятного"?

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

В интуиционистской логике закон исключённого третьего не действует, поэтому такие подтверждения в ней не принимаются.