Double negation principle
Principle that, for any proposition P, P logically implies not-not-P, and not-not-P logically implies P. Classical logic accepts both these halves of the principle, but intuitionist logic accepts only the first half, and not the second. This is because it accepts the law of contradiction (and so, given P, cannot allow not-P), but rejects