?!? schrieb:
> Was willst du damit sagen? Welche Seite (die linke oder die rechte)
> identisch mit der jeweils anderen ist?
> Das ist keine Zuweisung wie das ':=' sondern ein Vergleich. Und da bei
> '≡' beide Seiten identisch sind, was ist dann unklar?
Na ja, das ist manchmal halt mehr als ein Vergleich, sondern
signalisiert manchmal auch eine gewollte Annahme. Möchte man z.B. den
aussagenlogischen Term ((x -> y) -> z) in Teilausdrücke zerlegen, kann
man das halt lesbarer notieren:
A := (x -> y)
B := (A -> z)
So hat man explizit eine beweistechnische Notation als Mittel, um dem
Leser zu indizieren, dass die Ausdrücke nicht vom Himmel gefallen sind,
sondern vom Autor bewusst als Hilfskonstrukt eingeführt wurden. Ich kenn
das auch mit dem !=, also ein kleines Ausrufezeichen über dem
'='-Operator. Semantisch ist das natürlich eine Gleichheitsoperation,
allerdings kann man halt so die Abstraktionsebene deutlicher klären,
auch wenn man einfach nur den '='-Operator 'überladen' könnte.
@JohnDoe:
Lass dich von der Notation nicht verwirren, ist man die Schreibweisen
nicht gewohnt, guckt man da am Anfang wie die Sau ins Uhrwerk. Bringt
alles die Übung, deswegen wird damit in den ersten Semestern an der Uni
gestriezt.