Logik aufgaben?
Wir nennen ein Literal L gehört AL gut, wenn L keine Negation enthält und L heißt schlecht, falls L nicht gut ist. Eine Klausel C aus einer Klauseln´menge heißt gut, falls C ausschließlich hute Literale enthält und C heißt schlecht, falls C nur schlechte Literale enthält.
Wir betrachten eine EInschränkung des Resolutionskalkühl: In der pessimistischen Resolution darf nur dann eine Resolvente aus zwei Klauseln gebildet werden, falls eine der Klauseln schlech ist.
1 Antwort
Von gutefrage auf Grund seines Wissens auf einem Fachgebiet ausgezeichneter Nutzer
Informatik
Ich kenne mich mit Korrektheitsbeweisen nicht aus. Aber etwa so wie hier müsstest du das anstellen:
Etwas anders natürlich, da du eine andere Logik hast.