Lösung von Aufg. 5.2P (SoSe 12)

Eine informelle Definition:

Definition: Halbgerade $AB^+$

Gegeben seien zwei verschiedene Punkte $\ A$ und $\ B$. Unter dem Strahl bzw. der Halbgeraden $\ AB^+$ versteht man die Strecke $\overline{AB}$ vereinigt mit der Menge aller der Punkte, die man erhält, wenn man $\overline{AB}$ über $\ B$ hinaus verlängert.

Formulieren Sie eine formal korrekte Definition des Begriffs Halbgerade $\ AB^+$.

Formal korrekte Definition des Begriffs Halbgerade:

AB⁺ ≔ {P | Zw(A,P,B) ∪ P | Zw(A,B,P)} ∪ {A,B} (unbekannter Verfasser)
Bitte immer Signatur drunter! Das ist so nicht ganz richtig. Wie ist es richtig? Welche anderen Definitionen gibt es noch?--Tutorin Anne 18:29, 22. Mai 2012 (CEST)

es gibt zwei möglichkeiten zur korrektur:
1. in der mengenklammer müsste entweder ein $\vee$ statt des ∪ stehen, oder
2. man macht aus der menge der ersten mengenklammer zwei mengen, dann könnte das ∪ zwischen den zwei mengen stehen.--Studentin 19:25, 22. Mai 2012 (CEST)

AB⁺ ≔ {P | Zw(A,P,B)} ∪ {P | Zw(A,B,P)} ∪ {A,B}--Malilglowka 15:28, 23. Mai 2012 (CEST) Gut!--Tutorin Anne 12:47, 21. Jun. 2012 (CEST)

wie sieht es mit dieser def aus?:
$\ ab^{+} = \{ p| \neg zw (p,a,b)\}$--Studentin 03:51, 26. Mai 2012 (CEST)
So ist die Definition nicht richtig, warum?--Tutorin Anne 12:47, 21. Jun. 2012 (CEST)
... p element der geraden ab, für die gilt...--Studentin 22:38, 21. Jun. 2012 (CEST)