\begin{equation*} \neg \neg P \equiv P\text{.} \end{equation*}

Contoh: “Tidak benar bahwa \(c\) tidak ganjil” berarti “\(c\) ganjil.”