Prädikatenlogische Resolution ein kleines Problem |
10.01.2012, 16:34 | Auf diesen Beitrag antworten » |
Kakadu | 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, 17:18 | Auf diesen Beitrag antworten » |
Karlito | 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 |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
Die Neuesten » |
|