Akademik

The result of negating the negation of a proposition. In classical propositional calculus, ¬¬ p is equivalent to p . In intuitionistic logic this is not so; we cannot infer p from ¬¬ p .