Lösung von Aufgabe 4.1 P (SoSe 14)

Beweisen Sie mit Hilfe einer Wahrheitstabelle:

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

Inwiefern hilft Ihnen diese Äquivalenz, wenn Sie einen geometrischen Satz beweisen wollen?
Hierbei sieht man, dass die Kontraposition $(\mathrm{\neg }B\Rightarrow \mathrm{\neg }A)$ äuvivalent zum Satz $(A\Rightarrow B)$ ist. Wenn ich also die Kontraposition bewiesen habe, habe ich auch gleich den Satz bewiesen. --Audrey Hepburn (Diskussion) 12:03, 20. Mai 2014 (CEST)