Beweis per Wahrheitstafel:

Hey Leute,

ich soll ((A => B) ∧ (B => C)) => (A => C) beweisen.

A=>B   A=>C     B => C                (A=>B) ∧ (B => C)
w             w             w                                  w
w             f               f                                     f
f               f               w                                   f
w             w             w                                   w
w             w             f                                      f
w             w             w                                    w
f               w             w                                    f
w             w             w                                   w

ist meine Bearbeitung bis hier hin. Jedoch kann ich nicht behaupten, dass aus
((A => B) ∧ (B => C)) => (A => C) folgt, da einige Wahrheitwerte nicht übereinstimmen.

Wie seht ihr das?

Viele Grüße, Florian T. S.