Zu einer Aussage α ∈ L V {\displaystyle {}\alpha \in L^{V}} und n ∈ N {\displaystyle {}n\in \mathbb {N} } bezeichne ¬ n α {\displaystyle {}\neg ^{n}\alpha } die n {\displaystyle {}n} -fache Negation von α {\displaystyle {}\alpha } . Zeige, dass ¬ n α ↔ ¬ m α {\displaystyle {}\neg ^{n}\alpha \leftrightarrow \neg ^{m}\alpha } genau dann allgemeingültig
ein Vielfaches von 
ist.