Haben in Logik eine Aufgabe bekommen.
Sind die beiden folgenden Tenne unifizierbar? Falls nein, begr¨unden Sie Ihre Antwort.
1.)h(y;g(x)) und h( f (a;c);g(w))
2.)f(h(y, x), h(x, g(y))) und f(u , u)
1.) mit y=f(a;c) und x=w.
2.) h(y,x)=u und h(x,g(y))=u also auch y=x und x=g(y) also auch y=g(y)
Hoffe ist richtig, meine frage dazu, woran kann ich sehen, wann aus einem buchstaben eine sog. funktion machen kann und wann nur gegen einen andren buchstaben tauschen
1.) mit y=f(a;c) und x=w.
Korrekt.
2.) h(y,x)=u und h(x,g(y))=u also auch y=x und x=g(y) also
auch y=g(y)
Ja, allerdings ist y = g (y) eine zyklische Ersetzung. Das ist verboten. Damit sind die Terme nicht unifizierbar.
Hoffe ist richtig, meine frage dazu, woran kann ich sehen,
wann aus einem buchstaben eine sog. funktion machen kann und
wann nur gegen einen andren buchstaben tauschen
Variablen kannst Du durch Konstanten oder Funktionsterme ersetzen. Theoretisch müsste das angegeben sein. In der Praxis sind gewöhnlich a, b, c, … Konstanten, g, h, … Funktionssymbole und v, x, y, … Variablen. (Siehe Aufgabe.)
Schöne Grüße,
Styxx