Lösung von Zusatzaufgabe 3.2 P (SoSe 12)

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 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 $\mathrm{\neg }(A\wedge \mathrm{\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)