classical negation corresponds to complementation in a Boolean algebra, and intuitionistic negation to pseudocomplementation in a Heyting algebra. These algebras provide a semantics for classical and intuitionistic logic.

Notation

The negation of a proposition is notated in different ways, in various contexts

1.Previous
3.Next