Закон двойного отрицания лежит в основе метода доказательства "от противного".
Пусть А - тезис или теорема, которую надо доказать.
Расположите этапы доказательства в верном порядке.

• Предполагаем от противного, что А ложно, т. е. истинно не А.
• Из допущения не А выводим следствия, которые противоречат действительности или ранее доказанным теоремам.
• Обнаруживаем противоречие, следовательно, сделанное предположение неверно, то есть не \(не А\) = А.