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)

Wäre es möglich, die Lösung zu dieser Teilaufgabe preiszugeben? Ich komme nämlich nicht weiter.

Sie sind eigentlich schon am Ziel, denn Sie haben gezeigt, dass $\neg(\ A \wedge \neg B)$ äquivalent zu $(\ A \Rightarrow B)$ ist. Jetzt müssten Sie das ganze nur noch richtig interpretieren, Stichwort: Widerspruchsbeweis.--Schnirch 15:06, 21. Mai 2012 (CEST)

hier meine lösung: --Studentin 14:42, 21. Mai 2012 (CEST)