Lösung von Aufgabe 3.5 (SoSe 13 P)

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.

Ich finde die Aufgabe etwas verwirrend;-/. Habe eine Wahrheitstabelle erstellt, jedoch bin ich mir nicht sicher, ob es stimmt.

Habe in die Wahrheitstabelle: A B A--> B NICHT B AundB geschrieben

Als Ergebnis bzw. dass es äquivalent ist muss ja eine Richtung bewiesen werden.

Als Ergebnis habe ich jedoch rausbekommen dass A->B und AundNichtB NICHT ÄQUIVALENT SIND. Ist es richtig, was ich gemacht habe? Oder soll ich jeweils nur A->B und AundNichtB getrennt betrachten? Sprich zwei Tabellen erstellen da bei der Aufgabenstellung keine Implikation steht sondern UND . HILFE;-/ Was mache ich falsch? --Blumenkind 18:20, 11. Mai 2013 (CEST)Blumenkind