Proposition: Negationsregel der Logik

Sei eine aussagenlogische Formel.

Dann gilt: