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?

Da die Kontraposition bewiesenermaßen (s. Wahrheitstabelle) den selben Wahrheitsgehalt wie die Implikation hat, kann anstelle der Implikation auch die Kontraposition eines geometrischen Satzes bewiesen werden.

--*osterhase* 20:10, 10. Jun. 2012 (CEST)

A	B	$A \Rightarrow B$	$\neg B \Rightarrow \neg A$	($A \Rightarrow B$) $\Leftrightarrow$ ($\neg B \Rightarrow \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. :-)--Goliath 16:11, 2. Mai 2012 (CEST)