Negation - Wikipedia
https://en.wikipedia.org/wiki/NegationWithin a system of classical logic, double negation, that is, the negation of the negation of a proposition , is logically equivalent to . Expressed in symbolic terms, . In intuitionistic logic, a proposition implies its double negation, but not conversely. This marks one important difference between classical and intuitionistic negation. Algebraically, classical negation is called an involution of period two.
Negation - Wikipedia
en.wikipedia.org › wiki › NegationIn classical logic, negation is normally identified with the truth function that takes truth to falsity (and vice versa). In intuitionistic logic, according to the Brouwer–Heyting–Kolmogorov interpretation, the negation of a proposition. P {\displaystyle P} is the proposition whose proofs are the refutations of.