In this set of rules, is the x in s(x) identical with the x in p(x) or are these two different variables?

11 Views Asked by At

In this set of rules, is the x in s(x) identical with the x in p(x) or are these two different variables? I didn't find an answer and how to actually search it. enter image description here