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)
oben hat ein namenloser um die lösung gebeten, da hatte ich mein bild unten eingefügt.
ich verstehe nicht ganz, was bei der lösung noch fehlt?
ich habe gezeigt, dass beide aussagen das genaue gegenteil aussagen, sich also widersprechen.
reicht das nicht zu sehen, dass wenn $(\ A \Rightarrow B)$ genau widersprüchlich zu $(A \wedge \neg B)$ ist,
dass dann $(\ A \Rightarrow B)$ äquivalent zu $\neg(A \wedge \neg B)$ ist? --Studentin 17:08, 27. Mai 2012 (CEST)


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