Kakadu
unregistriert
 |
|
| 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 ?
|
|
10.01.2012 16:34 |
|
|
Karlito 
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
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
|
|
|
10.01.2012 17:18 |
|
|
|
