Lösung von Aufgabe 3.5 (SoSe 14)

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.

Wahrheitstabelle

Anbei die Wahrheitstabelle. Wie genau ist der indirekte Beweis durch Widerspruch zu führen?

Ist das was aus der Tabelle hervorgeht schon der indirekte Beweis? --Shaman (Diskussion) 18:24, 18. Mai 2014 (CEST)