2
$\begingroup$

Is the predicate P with two variables, x and y, x smaller than y , the same thing as the predicate P with two variable , y and x, does it stays x smaller than y or does y becomes smaller than x ?

Thanks.

1 Answers 1

3

If the predicate $P(x,y)$ is defined to mean $x, then $P(y,x)$ means $y. The names of the variables don’t matter, but their position among the arguments of $P$ does, so it’s always $\text{first argument}<\text{second argument}\;.$

  • 0
    @Maxime: You’re welcome.2012-10-31