Lösung von Zusatzaufgabe 2.5 neu (SoSe 12)

Aufgabe 5

Beweisen Sie mit Hilfe einer Wahrheitstabelle:

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

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

A	B	A => B	nicht B => nicht A	(A => B)<=>(nicht B => nicht A)
w	w	w	w	w
w	f	f	f	w
f	w	w	w	w
f	f	w	w	w

ich wusste leider nicht, wie man mathematische Formeln in eine Tabelle einfügt. --Goliath 14:50, 29. Apr. 2012 (CEST)