# Thread: Translate the logical expression into good English

1. ## Translate the logical expression into good English

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 de nition 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?

Regards

2. Originally Posted by Snowboarder
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.
If a is natural number that is at least as large as the natural number b and b is at least as large as the natural number c then a at least a large as c.

3. Is "If a is natural number that is at least as large as the natural number b and b is at least as large as the natural number c then a at least a large as c." the same as"

If x is natural number that is at least as large as the natural number y and y is at least as large as the natural number z then x is at least large as z.

BTW thank you for fast respond.

4. Originally Posted by Snowboarder
Is "If a is natural number that is at least as large as the natural number b and b is at least as large as the natural number c then a at least a large as c." the same as"

If x is natural number that is at least as large as the natural number y and y is at least as large as the natural number z then x is at least large as z.
What do you think? It asks for a translation.

5. i presume that is the same but presume is not enough for me . It is quite confusing topic or maybe I'm just dumb.