FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

FGI Übung 3 - Aufgabe 3.2

FGI Übung 3 - Aufgabe 3.2 2006-04-22 14:47
Anonymer User
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

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 17:20
Anonymer User
Von über 20 leuten, die sich den Thread hier angeguckt haben, muss doch einer ne meinung haben, oder? ;)

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 17:25
Anonymer User
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)

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 17:38
Anonymer User
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)?

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 17:44
DeGT
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]

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 17:44
Anonymer User
also ich hab da sowas raus:
1. kontingent
2. unerfüllbar
3. kontingent
4. allgemeingültig

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 18:02
Anonymer User
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)

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 18:13
Distrophik
Rechne mal &#9488;(A<=> &#9488;B) explezit aus. Also erst &#9488;B, dann (A<=> &#9488;B) und danach die Negation davon.

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 18:26
Anonymer User
Ähm ja, jetzt mal für ganz Dumme (irgendwo hakts bei mir gerade):
AB&#9488;B(A <=> &#9488;B)&#9488;(A <=> &#9488;B)

00101
01010
10110
11001

Das sollte doch korrekt sein, oder? Oder stimmt da irgendeine Definition der Junktoren bei mir nicht?

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 18:37
Distrophik
Edit: oh doch nicht

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 18:47
Anonymer User
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?

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 18:57
Distrophik
hab mich hier auch irgendwo verrechnet [img]http://www.fb18.de/gfx/wand.gif[/img]

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-22 19:00
Anonymer User
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!

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-23 01:00
Anonymer User
Ich habe:

a.) erfüllbar & allgemeingültig
b.) erfüllbar & allgemeingültig
c.) erfüllbar & kontingent
d.) erfüllbar & allgemeingültig

Re: FGI Übung 3 - Aufgabe 3.2 2006-04-23 02:42
Anonymer User
dann haben wa das gleiche