i have a question about most general unifier in logic. i'll begin by saying that in the class we were only given a summary in a few words, without any example, and they just moved on to the next topic and left us wondering on how to solve it, so i am trying based on what i've learnt from reading here:
i need to find the MGU, if it exists, for every pair of atomic propositions.
1)$Q(one, two, two)$ , $Q(x,y,z)$
2)$R(x,F(A,B)$ , $R(F(y,y),x)$
1)not exist because Two is written twice and we can't use substitution so that it will have two different meanings.
2)$R(F(x,B), F(A,B)), R(F(y,y),F(x,B))$
is it correct? would really appreciate your assistance and correction with this. thank you very much