Lösung von Aufgabe 4.5 (SoSe 26)

Vergleichen Sie die Wahrheitswerte von
WS_25_26 $(A\Rightarrow B)$ und $(A\wedge \mathrm{\neg }B)$.

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