Lösung von Aufgabe 4.1 P (WS 13/14)

Beweisen Sie mit Hilfe einer Wahrheitstabelle:

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

A	B	$(A\Rightarrow B)$	$\mathrm{\neg }B$	$\mathrm{\neg }A$	$(\mathrm{\neg }B\Rightarrow \mathrm{\neg }A)$
w	w	w	f	f	w
w	f	f	w	f	f
f	w	w	f	w	w
f	f	w	w	w	w

--EarlHickey (Diskussion) 09:14, 6. Jan. 2014 (CET)

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

Beim indirekten Beweis durch Kontraposition.
--EarlHickey (Diskussion) 09:14, 6. Jan. 2014 (CET)

• so ist es. Ohne diese Grundlage wäre ein Beweis durch Kontraposition nicht sinnvoll. So ist es z.B. bei der Umkehrung eines Satzes: Der Beweis der Umkehrung lässt noch keine Aussage zum Satz selber machen, da die Aussagen nicht äquivalent sind. --Tutorin Anne (Diskussion) 15:52, 6. Jan. 2014 (CET)