Negieren Sie die folgende Aussage, wobei keine Negation für Quantoren verwendet werden soll.
Beachten Sie dabei die allgemeinen Regeln der Aussagenlogik:
¬∀x∶φ(x) ⇐⇒ ∃x∶¬φ(x) und ¬∃x∶φ(x) ⇐⇒ ∀x∶¬φ(x).
Für alle Personen mit braunen Haaren im Raum existiert ein Tanz, welchen sie tanzen können.
