Lösung von Zusatzaufgabe 6.1P (WS 12 13)

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

Zum Verwenden von mathematischen Zeichen, kann man den Formeleditor öffnen (Symbol ganz links, Summenzeichen). Als Hilfestellung schon mal eine Tabelle. --Tutorin Anne 12:38, 10. Dez. 2012 (CET)

Voraussetzung	Zw (A,B,C)
Behauptung	koll (A,B,C)

Beweisschritt	Begründung
AB| + |BC| = |AC|	Voraussetzung, Def. Zwischenrelation
2 $B \in \overline{AC}$	1.)
3 $A, B, C \in AC$	1,) ; 2,)
4 koll (A,B,C)	3.); Def. koll

Ich bin mir aber nicht sicher, ob man das so machen kann, kommt mir irgendwie zu primitiv vor...--Unicycle 22:13, 17. Jan. 2013 (CET)