Двойное отрицание

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

Полный текст статьи:

Двойное отрицание — Википедия