Lösung von Zusatzaufgabe 6.2 S (SoSe 12)

Zusatzaufgabe 6.2

Im Skript steht als Beweis "trivial". Führen Sie die Beweise trotzdem mal durch. Gehen Sie kleinschrittig und gut begründet vor.
Beweisen Sie:
a) $\operatorname Zw (A, B, C)$ $\Rightarrow$ $\operatorname Zw (C, B, A)$
b) $\operatorname Zw (A, B, C)$ $\Rightarrow$ $\operatorname koll (A, B, C)$