Was bedeutet das überstrichene A bei einer Menge? Es heißt ja nicht (¬A).
Eine Aufgabe, wo dieses A vorkommt:
Seien \( M \) eine Menge und \( \mathcal{A} \subseteq \mathcal{P}(M) \) mit \( \mathcal{A} \neq \emptyset \). Zeigen Sie, dass gilt: \( \overline{\cap \mathcal{A}}=\cup\{\bar{A} \mid A \in \mathcal{A}\} \). Sie dürfen ohne Beweis die folgende logische Äquivalenz verwenden: \( \exists y: y=f(x) \wedge E(y) \Longleftrightarrow E(f(x)) \), wobei \( E(y) \) eine prädikatenlogische Formel, \( x \) eine in \( E \) nicht freie Variable und \( f \) eine Funktion (oder Operation) ist.
