# Contents

## Definition

The law of double negation is the statement that the double negation of a proposition implies that proposition

$\not \not A \Rightarrow A \,.$

In classical logic, this is simply true. In constructive logic, it is equivalent to the law of excluded middle (because $\not \not (P \vee \not P)$ is a constructive theorem), and is not assertable in general.

## References

Last revised on March 30, 2017 at 03:49:51. See the history of this page for a list of all contributions to it.