---

Geschrieben von Kakadu am 10.01.2012 um 16:34:

  Prädikatenlogische Resolution ein kleines Problem

Meine Frage:
a) Begründen Sie ohne explizite Konstruktion einer Formel, dass es eine prädikatenlogische
Formel F gibt mit Res^i(F) /= Res*(F) für alle i element von N.

b) Finden Sie eine möglichst einfache prädikatenlogische Formel F mit Res^i(F) /= Res*(F). Begründen Sie ihre Lösung.




Meine Ideen:
zu a) Ich teterpretiere Res^i ,dass hier eine endliche Menge resolviert wird und bei Res^* eine unendliche Menge. Diese sollen unterschiedlich sein.
Das ist aber eine richtige Begrüdnung. kannst du mir das weiterhelfen ?

zu b) laut a ist das bei der Formel der Fall.

Ich bin hier echt unsicher, kann jemand das richtig stellen ?

---

Geschrieben von Karlito am 10.01.2012 um 17:18:

 

Bin leider noch nicht fit auf dem Gebiet, sollte es aber in 4 Wochen sein. Vlt bekomme ich es diese Woche noch hin, mache aber keine Hoffungen...

VG,

Karlito