Konnte leider nicht an der Übung und den Vorlesungen der letzen Woche teilnehmen, drum wollte ich hier mal nachprüfen lassen, ob meine Ergebnisse für diese Aufgabe korrekt sind, oder ich den Stoff der Folien doch falsch verstanden habe.
Es ist zwar nicht gestattet, Lösungen zu posten, aber da ich den Weg der Lösung weglasse, sollte das kein Problem darstellen, raten kann man bei der Aufgabe ja eher schlecht ;)
1. erfüllbar, allgemeingültig
2. erfüllbar, allgemeingültig
3. erfüllbar, kontingent
4. erfüllbar, allgemeingültig
Von über 20 leuten, die sich den Thread hier angeguckt haben, muss doch einer ne meinung haben, oder? ;)
Guck dir nochmal deine Ergebnisse an und vergleich die mit folgenden Definitionen:
F ist erfüllbar, falls mindestens eine Belegung den Wahrheitswert 1 für F ergibt.
F ist allgemeingültig, falls alle Belegungen den Wahrheitswert 1 für F ergeben.
F ist falsifizierbar, falls mindestens eine Belegung den Wahrheitswert 0 für F ergibt.
F ist unerfüllbar, falls keine Belegung den Wahrheitswert 1 für F ergibt.
(3te Folie s.6)
Die Definitionen hab ich für die Lösung der Aufgaben herangezogen und bin damit zu meinen Ergebnissen von oben gekommen.
Wolltest du mit deinem Post sagen, dass meine Lösungen nicht korrekt sind, oder dass ich die Korrektheit damit überprüfen kann (oder beides)?
Also von meiner Sicht aus sind deine Ergebnisse zum Teil falsch.
Wäre doch auch doof, wenn keine nichterfüllbare Zeichenkette dabei wäre, oder? [img]
http://www.fb18.de/gfx/25.gif[/img]
also ich hab da sowas raus:
1. kontingent
2. unerfüllbar
3. kontingent
4. allgemeingültig
Wie kommst du daarauf, dass 2. unefüllbar ist?
Wenn ich micht irre, dann ergibt (A <=> B) von den Wahrheitswerten genau das gleiche wie nicht(A <=> nicht B)
Rechne mal ┐(A<=> ┐B) explezit aus. Also erst ┐B, dann (A<=> ┐B) und danach die Negation davon.
Ähm ja, jetzt mal für ganz Dumme (irgendwo hakts bei mir gerade):
A – B – ┐B – (A <=> ┐B) – ┐(A <=> ┐B)
0 – 0 – 1 – 0 – 1
0 – 1 – 0 – 1 – 0
1 – 0 – 1 – 1 – 0
1 – 1 – 0 – 0 – 1
Das sollte doch korrekt sein, oder? Oder stimmt da irgendeine Definition der Junktoren bei mir nicht?
Und was genau stimmt da nicht?
Die Definition der Biimplikation besagt doch, dass (A <=>B) wahr ist, wenn A und B die gleichen Wahrheitswerte haben, oder?
hab mich hier auch irgendwo verrechnet [img]
http://www.fb18.de/gfx/wand.gif[/img]
Ok, dann rechne mal fleißig.
Hab meine Ergebnisse aus dem ersten Post mittlerweile auch x-mal neu durchgerechnet, aber komme immer noch zum selben Ergebnis - wenn die falsch sein sollten, dann ist echt eine Definition ebi mir falsch gespeichert … ich lass mich aber gern korrigieren!
Ich habe:
a.) erfüllbar & allgemeingültig
b.) erfüllbar & allgemeingültig
c.) erfüllbar & kontingent
d.) erfüllbar & allgemeingültig
dann haben wa das gleiche