Aufgabe: Prüfen Sie, ob die logische Verknüpfung "→" assoziativ ist. Formulieren Sie die Behauptung formal als Aussage und beweisen Sie diese mit Hilfe einer Wahrheitstafel.
Für die Implikationen
a->(b->c) und
(a->b)->c
jeweils eine Wahrheitstafel aufstellen und beide vergleichen.
Ergebnis: nicht assoziativ
Vielen Dank :)
