Ist dieser Beweis korrekt?
Aufgabe:
Zeigen Sie, dass drei Aussagen A,B und C äquivalent sind, wenn A->B, B->C, C->A gelten.
Problem/Ansatz:
Meine Idee ist folgende:
(C->A)∧(A->B) <–> (C->B) und damit gilt B<–>C.
(A->B)∧(B->C) <–> (A->C) und damit gilt A<–>C.
Da A<–>C folgt aus B<–>C auch A<–>B.
q.e.d
Habe ich damit die Aussage mathematisch einwandfrei bewiesen oder bin ich komplett auf dem Holzweg?
Mit freundlichen Grüßen
Pascal