negation of negation

Мат. отрицание отрицания