Aussagenlogik/Mehrfachnegation/Äquivalenz/Ableitbar/Aufgabe

Zu einer Aussage ${}\alpha \in L^{V}$ und ${}n\in \mathbb {N}$ bezeichne ${}\neg ^{n}\alpha$ die ${}n$-fache Negation von ${}\alpha$.

Zeige, dass ${}\vdash \neg ^{n}\alpha \rightarrow \neg ^{m}\alpha$ genau dann gilt, wenn ${}n-m$ ein Vielfaches von ${}2$ ist.

Eine Lösung erstellen