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) $\mathrm{Z}w(A,B,C)$ $\Rightarrow$ $\mathrm{Z}w(C,B,A)$
b) $\mathrm{Z}w(A,B,C)$ $\Rightarrow$ $\mathrm{k}oll(A,B,C)$