Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Unifikation
Hi, ich hätte zur Unifikation zwei kurze Fragen.
- Wenn ich z.b. h(x)=h(x) habe kann ich dann direkt mit delete diesen Teil eliminieren oder muss man zuerst decomp und dann delete anwenden?
- Schreibt man den mgu am Ende so oder anders: (sigma) = [h(a)/x]
zu 2. entweder so oder [x ⟼ h(a)]
zu 1. naja, theoretisch natürlich erst decomp dann delete, aber kann man ja in einem schritt zusammenfassen und dazuschreiben