Lösung von Zusatzaufgabe 3.2 P (SoSe 12)

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.
Lösung von Zusatzaufgabe 3.2_P (SoSe_12)