Autor |
Beitrag |
Sadi (Sadi)
Junior Mitglied Benutzername: Sadi
Nummer des Beitrags: 17 Registriert: 11-2003
| Veröffentlicht am Samstag, den 14. Februar, 2004 - 19:56: |
|
Brauche hilfe bei diesr Aufgabe .. (a) Eine Klausel heiße positiv (bzw. negativ), wenn sie nur nichtnegierte Variable (bzw. negierte Variable) enthält. Zeigen Sie, dass Mengen von positiven (bzw. negativen) Klauseln stets ein Modell besitzen. (b) Sei K eine unerfüllbare Klauselmenge. Sei K'TEilmenge von K eine endliche unerfüllbare Teilmenge (muss es wegen des Kompaktheitssatzes geben) mit minimaler Kardinalität k. zeigen Sie, dass jede Herleitung der leeren Klausel aus K' mittels resolution mindestens k -1 Resolutionsschritte macht. |
Zaph (Zaph)
Senior Mitglied Benutzername: Zaph
Nummer des Beitrags: 1541 Registriert: 07-2000
| Veröffentlicht am Sonntag, den 15. Februar, 2004 - 11:47: |
|
Ich nehme an, dass das eine Aufgabe zur mathematischen Logik ist. Allerdings sagen mir die Begriffe Klausel und Resolution, bzw. Herleitung mittels Resolution nichts. |
|