Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Frage zu Übungsblatt 5, Aufgabe 4b)
Hallo,
wie soll man denn bei den gegebenen Regeln spezifisch eine Formel der Form NFF(~A), wobei A ein Atom ist, auflösen. Ich werde bei den gegebnen Regeln nicht fündig. Oder ist das in der ersten Regel, die für Atome, “wahr” und “falsch” eine NFF erzeugt, bereits enthalten?
LG Gabriel
afaik sind die Regeln etwas fehlerhaft.
Es müsste heißen “NNF(phi) = phi, wenn phi Atom Literal oder Top/Bottom”
Allein aber aus der Tatsache, dass in einer NNF Negationen nur direkt vor Atomen auftauchen sollen, ergibt sich auch, was NNF(~A) sein muss.