Die Frage ist, was du meinst.
Es gibt einmal den logischen Ausdruck der Äquivalenz A⇔B, der bedeutet, dass zwei Aussagen A und B jeweils genau dann richtig sind, wenn die entsprechend andere richtig ist, dass sie also gleichwertig sind. Um diesen Ausdruck zu negieren, muss man ein logisches "Nicht" ¬ davorschreiben: ¬(A⇔B). Dass bedeutet dann das genaue Gegenteil: immer dann, wenn A zutrifft, trifft B nicht zu und umgekehrt.
Und dann gibt es noch das Zeichen ≡, das bedeutet, dass zwei mathematische Terme exakt identisch (mit anderen Worten: äquivalent) sind, ganz gleich, wie die freien Variablen in ihnen besetzt werden.
Ein Beispiel:
a - a ≡ 0
(sin x)2+(cos x)2 ≡ 1
Um dieses Symbol zu negieren, macht man einen Strich hindurch, also quasi so wie das gewöhnliche Ungleich ≠ nur mit drei Querstrichen.
Wie das zu interpretieren ist, ist natürlich ein bisschen fragwürdig. Zwei Möglichkeiten:
a) Die Terme sind für mindestens ein Element der Grundmenge nicht äquivalent. Das ist die direkte logische Gegenoperation, allerdings unterscheidet das Symbol dann nichts mehr vom gewöhnlichen Ungleich, das die gleiche Aussage trifft.
b) Die Terme sind für kein Element der Grundmenge äquivalent. Diese Aussage ist erheblich stärker als die erste und ähnelt so mehr dem exklusiven Charakter des gewöhnlichen Identisch-Zeichens. Allerdings ist es eben nicht die streng logische Negation.
Ich weiß nicht, ob es ein häufig verwendetes Zeichen ist, ich habs zumindest noch nie gesehen.
