Zu einer Aussage α∈LV{\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 }.