Lösung von Aufgabe 3.5 (SoSe 13 P): Unterschied zwischen den Versionen
Zeile 1: | Zeile 1: | ||
− | Vergleichen Sie die Wahrheitswerte von<br /> | + | '''Vergleichen Sie die Wahrheitswerte von<br />''' |
<math>(\ A \Rightarrow B) </math> und <math>(\ A \wedge \neg B)</math>.<br /> | <math>(\ A \Rightarrow B) </math> und <math>(\ A \wedge \neg B)</math>.<br /> | ||
+ | ''' | ||
+ | Erklären Sie den Zusammenhang zwischen Ihrer Wahrheitstabelle und dem indirekten Beweis durch Widerspruch.<br />''' | ||
− | + | Ich finde die Aufgabe etwas verwirrend;-/. Habe eine Wahrheitstabelle erstellt, jedoch bin ich mir nicht sicher, ob es stimmt.<br /> | |
− | + | Habe in die Wahrheitstabelle: A ,B,A--> B,NICHT B,AundB geschrieben <br /> | |
− | + | Als Ergebnis bzw. dass es äquivalent ist muss ja eine Richtung bewiesen werden.<br /> | |
− | + | ||
− | 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. <br /> | ||
+ | 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? --[[Benutzer:Blumenkind|Blumenkind]] 18:20, 11. Mai 2013 (CEST)Blumenkind<br /><br /> | ||
+ | Hallo Blumenkind. Du brauchst nur eine Tabelle machen. Und du liegst richtig damit, dass die Aussagen nicht äquivalent sind.<br /> | ||
+ | Wie sieht die Wahrheitstabelle denn aus? Kann Sie jemand füllen? Und anschließend die Bedeutung für den indirekten Beweis mit Widerspruch herleiten?--[[Benutzer:Tutorin Anne|Tutorin Anne]] 21:25, 11. Mai 2013 (CEST) | ||
+ | {| class="wikitable sortable" | ||
+ | !A!!B!!<math>A \Rightarrow B</math>!! <math>\neg B</math>!!<math>A\ \wedge \neg B</math> | ||
+ | |- | ||
+ | | w || x|| x || x || x | ||
+ | |- | ||
+ | | w || x || x|| x || x | ||
+ | |- | ||
+ | | f || x|| x || x || x | ||
+ | |- | ||
+ | | f || x || x|| x || x | ||
+ | |} | ||
[[Category:Einführung_P]] | [[Category:Einführung_P]] |
Version vom 11. Mai 2013, 21:25 Uhr
Vergleichen Sie die Wahrheitswerte von
und .
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 | |||
---|---|---|---|---|
w | x | x | x | x |
w | x | x | x | x |
f | x | x | x | x |
f | x | x | x | x |