Lösung von Zusatzaufgabe 2.5 neu (SoSe 12)

Aufgabe 5

Beweisen Sie mit Hilfe einer Wahrheitstabelle:

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

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

A	B	$A\Rightarrow B$	$\mathrm{\neg }B\Rightarrow \mathrm{\neg }A$	($A\Rightarrow B$) $\iff$ ($\mathrm{\neg }B\Rightarrow \mathrm{\neg }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)

• So, ich habs mal geändert. Kannst es dir ja mal anschauen, wie das geht. --Tutor Andreas 16:30, 29. Apr. 2012 (CEST)

@ Andreas: Dankeschön. Werde mich mal einlesen. :-)