negation rule

Мат. правило отрицания