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

Hallo Blumenkind. Du brauchst nur eine Tabelle machen. Und du liegst richtig damit, dass die Aussagen nicht äquivalent sind.
Wie sieht die Wahrheitstabelle denn aus? Kann Sie jemand füllen? Und anschließend die Bedeutung für den indirekten Beweis mit Widerspruch herleiten?--Tutorin Anne 21:25, 11. Mai 2013 (CEST)

A	B	$A \Rightarrow B$	$\neg B$	$A\ \wedge \neg B$
w	x	x	x	x
w	x	x	x	x
f	x	x	x	x
f	x	x	x	x