Wie beweise ich ob die logische Verknüpfung "→" assoziativ ist ?

Question

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.

Answer 1

Für die Implikationen

a->(b->c) und

(a->b)->c

jeweils  eine Wahrheitstafel aufstellen und beide vergleichen.

Ergebnis: nicht assoziativ

Comments

Vielen Dank :)