Übung Aufgaben 4 (SoSe 12)

Aufgabe 4

Beweisen Sie mit Hilfe einer Wahrheitstabelle:

$(A\Rightarrow B)\wedge (B\Rightarrow A)\iff (A\iff B)$

Inwiefern hilft Ihnen diese Äquvalenz, wenn Sie einen geometrischen Satz beweisen wollen?
Lösung von Zusatzaufgabe 2.4 (SoSe_12)

Aufgabe 5

Vergleichen Sie die Wahrheitswerte von

$(A\Rightarrow B)$ und $(A\wedge \mathrm{\neg }B)$.

Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.
Lösung von Zusatzaufgabe 2.5 (SoSe_12)

Aufgaben zur Inzidenz im Raum

Die Inzidenzaxiome können für die Geometrie im Raum erweitert werden. Lesen Sie sich hier die Inzidenz im Raum SoSe_12) durch, Sie benötigen die Axiome und Definitionen für die folgenden Aufgaben.

Aufgabe 3.4

Beweisen Sie Satz I.6: Eine Ebene und eine nicht in ihr liegende Gerade haben höchstens einen Punkt gemeinsam.

Lösung von Aufg. 3.4 (SoSe_12)

Aufgabe 3.5

Satz:

Wenn vier Punkte nicht komplanar sind, sind je drei von ihnen nicht kollinear.

1. Formulieren Sie den Satz noch einmal, ohne die Bezeichnungen komplanar und kollinear zu verwenden.
2. Formulieren Sie den Satz noch einmal, ohne wenn-dann zu gebrauchen.
3. Beweisen Sie den Satz. Hier ein Anfang für den Beweis:

Beweis

Es seien $A,B,C$ und $D$ vier Punkte, die nicht komplanar sind.

zu zeigen

...

Annahme:

Es gibt drei Punkte von den vier Punkten $A,B,C,D$, die kollinear sind. Es mögen dieses o.B.d.A. die Punkte ...

Lösung von Aufg. 3.5 (SoSe_12)

Aufgabe 4.5

Beweisen Sie: Je vier nicht komplanare Punkte sind paarweise verschieden (Hinweis: Nutzen Sie bei der Beweisführung die Sätze aus Aufgabe 3.3 und 3.5).

Lösung von Aufg. 4.5 (SoSe_12)