Resolutionsmethode < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 03:18 Sa 23.11.2013 | | Autor: | starki |
| Aufgabe | Folgende Klauseln sind gegeben:
[mm] \{A, B, \neg C \}
[/mm]
[mm] \{ A, C \}
[/mm]
[mm] \{ \neg B, \neg C \}
[/mm]
[mm] \{ \neg A \}
[/mm]
Und ich muss zeigen, dass diese unerfüllbar ist. |
[1] [mm] \{A, B, \neg C \}
[/mm]
[2] [mm] \{ A, C \}
[/mm]
[3] [mm] \{ \neg B, \neg C \}
[/mm]
[4] [mm] \{ \neg A \}
[/mm]
[5] (ich verwende hier 1 und 4): [mm] \{ B, \neg C \}
[/mm]
[6] (ich verwende hier 2 und 4): [mm] \{ C \}
[/mm]
[7] (ich verwende 3 und 5): [mm] \{ \neg C \}
[/mm]
[8] (ich verwende 6 und 7): [mm] \{ \}
[/mm]
Meine Frage ist vor allem in Schritt 6: Ich habe die vierte Klausel (die vierte, die vorgegeben war) zweimal verwendet. Darf ich das überhaupt? Ich sehe im Netz kein Beispiel, wo das gemacht wird, aber laut Definition wüsste ich da keine Bedenken ...
|
|
| |
|
Bei der Resolutionsmethode darfst du beliebig oft Klauseln betrachten. Du dürftest sogar mehrfach die Resolvente zweier Klauseln bilden.
Man kann soetwas übrigens auch übersichtlich aufschreiben:
[Dateianhang nicht öffentlich]
Dateianhänge:
Anhang Nr. 1 (Typ: unbekannt) [nicht öffentlich]
|
|
|
|
