This post has been edited 3 times, last edit by "snoopy" (Jun 26th 2005, 12:07pm)
Senior Schreiberling
Date of registration: Jul 5th 2003
Location: Malaga
Occupation: Senior Cloud Solution Engineer bei Oracle
Quoted
Original von snoopy
- eine wichtigere große Frage:
...
Sei K5 = { R(h(x),g(x),y) , S(x,(hy) } also Variablen x, y
Sei K3 = { P(g(x), x, z) , R(z,y,y) } also Variablen x,y,z
Ich will nun wie man wohl sieht die R rauslöschen.
Muss ich nun ALLE in den Klauselmengen gleichen Variablen ersetzen, sprich x und y
Quoted
- ich kann doch die ursprünglichen Prozedurklauseln mehrfach verwenden, nech?
Quoted
- Für die Zusatzfrage muss man laut Übung alle sub hinterienander hängen. Doch was mache ich, wenn ich in den subs eine Variable wie x an verschiedener Stelle verschieden ersetzt habe. Somit ist das doch nicht ganz eindeutig. oder geh ich da stur von sub1 bis sub7 und nehm die erste Ersetzung
Quoted
Quoted
Original von Sinan
Quoted
Original von snoopy
Quoted
[*] Für die Zusatzfrage muss man laut Übung alle sub hinterienander hängen. Doch was mache ich, wenn ich in den subs eine Variable wie x an verschiedener Stelle verschieden ersetzt habe. Somit ist das doch nicht ganz eindeutig. oder geh ich da stur von sub1 bis sub7 und nehm die erste Ersetzung
[/list]
ich habe die erste Ersetzung genommen, daher taucht x nicht mehr auf und die weiteren Subistitutionen spielen keine Rolle.
Allgemein:
Hast du f(x)[x/u][x/y] so erhälst du f(u), da dass x durch u substituiert wird. Danach wird x durch y substituiert, aber es ist ja kein x mehr da.
Entsprechend ist f(x)[x/u][u/y] == f(y)