Lösung von Aufgabe 4.1 P (SoSe 13)

Beweisen Sie mit Hilfe einer Wahrheitstabelle:

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

A	B	A ⇒ B	¬B	¬A	¬B ⇒ ¬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

--Nolessonlearned 12:35, 14. Mai 2013 (CEST)

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

• Diese Äquivalenz legitimiert die Verwendung der indirekten Beweisform Kontraposition.--Nolessonlearned 12:40, 14. Mai 2013 (CEST)