Screen
Senior Member
Anmeldungsdatum: 28.02.2007
Beiträge: 369
Wohnort: Stuttgart
|
 Verfasst am: 11 Jan 2012 - 17:46:12 Titel: Prädikatenlogische Resolution 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 ?
_________________
Freak ! |
|
Home
FAQ
Regeln
Suchen
Registrieren
Login
