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)$

A	B	A==>B	¬B	¬A	¬B ==> ¬A
0	0	1	1	1	1
0	1	1	0	1	1
1	0	0	1	0	0
1	1	1	0	0	1

--The Niggster (Diskussion) 17:41, 21. Mai 2014 (CEST)

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) So ist es.--Tutorin Anne (Diskussion) 19:07, 20. Mai 2014 (CEST)