Übung Aufgaben 4 (SoSe 12)

Aufgabe 4

Beweisen Sie mit Hilfe einer Wahrheitstabelle:

$(\ A \Rightarrow B) \wedge (\ B \Rightarrow A) \Leftrightarrow (\ A \Leftrightarrow 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 \neg B)$.

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