Zusatzaufgaben 6 (SoSe 13)

Aufgabe 6.1

Beweisen Sie: Aus $\operatorname{Zw} \left( A, B, C \right)$ folgt $\operatorname{koll} \left( A, B, C \right)$.

Lösung von Zusatzaufgabe 6.1P (SoSe_13)

Aufgabe 6.2

Beweisen Sie: Es sei $\operatorname{koll} \left( A, B, C \right)$ mit $\ A, B, C$ sind paarweise verschieden.
Dann gilt genau eine der folgenden Zwischenrelationen: $\operatorname{Zw} \left( A, B, C \right)$ oder $\operatorname{Zw} \left( A, C, B \right)$ oder $\operatorname{Zw} \left( B, A, C \right)$.

Lösung von Zusatzaufgabe 6.2P (SoSe_13)