Aussagenlogik/Mehrfachnegation/Äquivalenz/Ableitbar/Aufgabe

Zu einer Aussage $\alpha \in L^V$ und $n\in \mathbb{N}$ bezeichne ${\mathrm{\neg }}^n\alpha$ die $n$-fache Negation von $\alpha$. Zeige, dass $⊢{\mathrm{\neg }}^n\alpha \to {\mathrm{\neg }}^m\alpha$ genau dann gilt, wenn $n-m$ ein Vielfaches von $2$ ist.

Eine Lösung erstellen