Hilfe bei mathematischer Schreibweise (Oberstrich)

Ich würde gerne wissen, was in einer mathematischn Aussage ein Oberstrich bedeutet. Ein Bild zu Verdeutlichung gibt´s hier:
http://a.imagehost.org/0027/formel.jpg

Es geht um die rot markierten Striche.
Bitte nicht die Gleichung erklären, sie dient nur als Beispiel.

Hi,

So ein Oberstrich kann zB bedeuten, dass ein Durchschnitt gemeint ist, dann spricht man von „a quer“ oder zB in den komplexen Zahlen, da bedeutet er die konjugiert komplexe Zahl. In dem Bsp weiß ichs leider nicht…

Hallo erstmal

Ich würde gerne wissen, was in einer mathematischn Aussage ein
Oberstrich bedeutet.

Es müsste für die Negation stehen, analog dem -| von http://de.wikipedia.org/wiki/Aussagenlogik

mfg M.L.

Oberstrich in logischer Formel
Hallo Dirk.

Ich würde gerne wissen, was in einer mathematischn Aussage ein
Oberstrich bedeutet.

In der Logik (darum geht’s hier) wird so die Negation dargestellt. Dein Beispiel stellt dar, wie man die Negation von Existenz- und Allquantor nach innen bringt.

Anders geschrieben (erste Formel):

NOT(∀ x : a(x)) = ∃ x : NOT( a(x) )

Gruß,
Ralf