Lösung von Aufgabe 4.1 P (SoSe 14)

Beweisen Sie mit Hilfe einer Wahrheitstabelle:

$(\ A \Rightarrow B) \ \Leftrightarrow (\neg B \Rightarrow \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 $(\neg B \Rightarrow \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)