Lösung von Zusatzaufgabe 2.5 neu (SoSe 12)

Aufgabe 5

Beweisen Sie mit Hilfe einer Wahrheitstabelle:

$(A\Rightarrow B)\iff (\mathrm{\neg }B\Rightarrow \mathrm{\neg }A)$

Inwiefern hilft Ihnen diese Äquvalenz, wenn Sie einen geometrischen Satz beweisen wollen?

A	B	A=>B	nichtB=>nichtA	(A=>B)<=>(nichtB=>nichtA)
w	w	w	w	w
w	f	f	f	w
f	w	w	w	w
f	f	w	w	w

--Goliath 14:50, 29. Apr. 2012 (CEST)