Behauptung.

    ¬(φ ↔ ¬φ)

Beweis.

    Gelte φ ↔ ¬φ. Wir möchten ⊥ nachweisen.

    Zunächst sehen wir, dass ¬φ:
	Denn gelte φ. Dann gilt nach Teil "→" der Voraussetzung auch ¬φ.
	Zusammengenommen haben wir daher ⊥.

    Nach Teil "←" der Voraussetzung folgt φ.

    Aus ¬φ und φ folgt ⊥, das war zu zeigen.