negation
the contradiction or denial of something
Verneinung
negazione f
the result of negating the negation of a proposition, and the principle (not admitted in intuitionist logic) that this is equivalent to the proposition itself