Hey Mirjam,

A, B und C sind hier einfach nur beliebig austauschbare Aussagen. Du hast in deinem Kommentar völlig recht, was die Wahrheitstafel für A => B angeht. Du gehst alle Möglichkeiten durch und schaust dir an, was das für die Implikation bedeutet. Jetzt tust du das gleiche mit C (ersetze einfach B durch C) und führe die gleiche Überlegung durch.

Deine logische Kette funktioniert nun wie folgt:

Auf der linken Seite schaust du dir zunächst an: B => C (also stelle die Wahrheitstabelle dafür auf). Anschließend nimmst du dir diese Wahrheitstabelle (nennen wir sie mal D) und du schaust dir A => D an. Auch dort kommt nach der Aussagenlogik wieder eine Wahrheitstabelle heraus.

Analog dazu gehst du auf der rechten Seite vor. Hier schaust du dir zunächst die Wahrheitstabellen von A => B an und von A => C. Anschließend musst du dir nochmal anschauen, was passiert, wenn du die beiden daraus resultierenden Wahrheitstafeln nach der Implikationslogik verbindest.

Am Ende schaust du, ob die Wahrheitstabelle der linken und rechten Seite gleich sind. Ist das der Fall, dann sind die beiden Aussagen gleich.

Ich hoffe das hilft dir.

VG
Stefan