Lösung von Aufgabe 4.1 P (WS 12 13)

Beweisen Sie mit Hilfe einer Wahrheitstabelle:

$(\ A \Rightarrow B) \ \Leftrightarrow (\neg B \Rightarrow \neg A)$

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

Im Grunde, sagt die Äquivalenz ja aus, dass sowohl die Implikation und ihre Umkehrung gilt oder?!? --Hakunamatata 17:34, 3. Feb. 2013 (CET)

Nein, ich glaube nicht. Das ist ja nicht die Umkehrung, sondern die Kontraposition. Umkehrung wäre $\ B \Rightarrow A$ . Und die sind ja nicht äquivalent zueinander; die Kontraposition und die Implikation aber schon, laut Wahrheitstabelle.--TobiWan 18:24, 3. Feb. 2013 (CET)

Danke Tobi, habe im späteren Verlauf dann auch bemerkt, dass ich nicht die Umkehrung sondern die Kontraposition meinte :-D!--Hakunamatata 20:27, 3. Feb. 2013 (CET)