Präzedenz bei Implikation?

Wenn ich a -> b -> c habe, welcher Teil wird zuerst evaluiert und warum?

Wird dies von links nach rechts ausgewertet?

Answer 1

[aperfect10]

Das ist so erstmal nicht klar, da die Implikation nicht assoziativ ist.

In bestimmten Kontexten wird es als

$a \implies (b \implies c)$ gelesen, ein Mathematiker könnte es als

$(a \implies b) \text{ und } (b \implies c)$ auffassen, man kann es aber natürlich auch als

$(a \implies b) \implies c$ interpretieren.

Da sollte man unbedingt Klammern benutzen!