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

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?

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)

• Damit wäre dieses Aufgabe (zumindest die Frage) richtig gelöst... danke ihr beiden!--Tutorin Anne 13:34, 4. Feb. 2013 (CET)