Lösung von Aufgabe 4.5 (SoSe 18)

Vergleichen Sie die Wahrheitswerte von

$(A\Rightarrow B)$ und $(A\wedge \mathrm{\neg }B)$.

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

Lösung: A und nicht B, ist der Widerspruch von A impliziert B. Somit habe ich dann meinem Widerspruch mit dem ich anschließend den indirekten Beweis durchführen kann. < br/>

/goldxyz/