Hi all. Does anybody would help me with my question with predicates?
Let p(x, y) denote the predicate "x <= y" and let q(x, y) with domain of denition N x N.
For all x For all y For all z ((p(x,y) ^ p(y,z) -> p(x,z))
I need to translate this into good english and say if it's right or false. So thats what i did:
For all x, y and z natural numbers if number y is bigger or equal to x and if number z is bigger than y than z is bigger than x.
Please somebody help me I'm getting confused with this z and how can i state whether the proposition is true?