Two negations cancel: ¬¬p is logically equivalent to p. Accepted in classical logic; intuitionistic logic rejects the ¬¬p ⊨ p direction.
Two negations cancel: ¬¬p is logically equivalent to p. Accepted in classical logic; intuitionistic logic rejects the ¬¬p ⊨ p direction.