…the contradiction or denial of something…
…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…
…Verneinung…
…negazione f…
…negation…
