I am studing for logic and i need to unify these formulas:
$$ P(\;\; f(x,g(x,y))\;\; ,\;\; h(z,y)\; ) $$ $$ P(\;\; z \;,\; h(f(u,v),f(a,b))\; ) $$
Can someone explain me what i need to do? I must replace $\;z/f(x,g(x,y))\;$ or i need to follow some other steps? I have try to solve it but i don't know if i am going in the right path! Searching my books i didn't find any similar example. That's why i ask here.
Thanks!
edit: i forgot to tell $a$ and $b$ are constants, $f$ and $g$ are functions and $x,y,z,u,v$ are variables
To make the second coordinates match one can set $z=f(u,v),y=f(a,b).$ With this value of $z$ matched to the other first coordinate $z=f(x,g(x,y))$ a choice suggests itself, namely that $u=x$ and $v=g(x,y).$ Without further context on what you're trying to do, at least these choices make the two formulas "come out the same".