Resolution Theoretische Informatik Logic

Lieber Besucher, herzlich willkommen bei: Aqua Computer Forum. Falls dies dein erster Besuch auf dieser Seite ist, lese dir bitte die Hilfe durch. Dort wird dir die Bedienung dieser Seite näher erläutert. Darüber hinaus solltest du dich registrieren, um alle Funktionen dieser Seite nutzen zu können. Benutze das Registrierungsformular, um dich zu registrieren oder informiere dich ausführlich über den Registrierungsvorgang. Falls du dich bereits zu einem früheren Zeitpunkt registriert hast, kannst du dich hier anmelden.

palme_kex

God

Resolution Theoretische Informatik Logic

Montag, 19. November 2007, 18:50

Hiho hab da mal ne Frage zur Resolventenbildung in Logik
(- = nicht)

Ich habe hier zwei Klauseln:
{ A , B , C , D } und { A, -B , C , D}

Wenn ich aus diesen beiden Klauseln nun einen Resolventen bilde ist das ja nicht weiter schwer...
das B fällt raus und die übrig gebliebenen Elemente vereinige ich.
Resolvent = {A , C , D}

Wenn ich nun aber zB die Klausenln
{ A , B , -C , D } & {A , -B , C , D }
habe, kann ich den beide Elemente in einem Schritt eleminieren ?
also Res: { A , D }?????

Oder muss ich irgend was anders machen ?

Safti

Senior Member

Re: Resolution Theoretische Informatik Logic

Dienstag, 20. November 2007, 01:54

kurz und knapp: nein, beide auf einmal weg ist falsch!

eine längere (fachlich einwandfreie) Antwort bekomme ich grad nicht zusammen, ist schon ein paar Semester her

Aber überleg dir einfach eine Variablenbelegung für A,B,C,D die dein Problem löst und du wirst sehen dass es keine Vereinfachung mehr gibt..

V: Cuplex (sock. 47

, Twinplex (gf-4 halterung), Airplex-Classic, Eheim 1046, div. Winkel, 2 Gehäusedurchführungen... alles Plug'n'Cool

palme_kex

God

Re: Resolution Theoretische Informatik Logic

Dienstag, 20. November 2007, 09:36

danke schön