\begin{equation*} \neg \neg P \text{ is logically equivalent to } P\text{.} \end{equation*}