Lösung von Aufgabe 3.5 (WS 15 16)

Vergleichen Sie die Wahrheitswerte von

$(\ A \Rightarrow B)$ und $(\ A \wedge \neg B)$.

Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.

A = Voraussetzung, B = Behauptung, (A=> B) ist der Satz, nicht B ist die Annahme; A impliziert B: 1 1 0 1; A und nicht B : 0 0 1 0 , das ist der indirekte Beweis durch Widerspruch, man geht vom Gegenteil aus, und merkt dann das die Behauptung stimmt. --Mel123 (Diskussion) 15:47, 15. Nov. 2015 (CET)

Ich bin mir nicht ganz sicher, aber ich glaube du meinst das Richtige!