double negation

[ریاضیات] نقیض دوگانه