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.
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.
If the predicate $P(x,y)$ is defined to mean $x