I have to determine the truth value

[deft rose]

true or false?

[odd elm]

Okay, well, let's start by just reading the statement.

Let's express the statement in English.

"For all x and y that are rational numbers, x does not equal y, there exists an n in the natural numbers such that y <= n <= x."

If this is true, you'd probably prove it by constructing n as a function of x and/or y. If it's false, you'd disprove it by constructing a counterexample.

[deft rose]

thank you!

[deft rose]

@odd elm and how to write the negation of that statement?

[odd elm]

...well, the negation is the statement that is true if the given statement is false, right?

[deft rose]

I don't know how to translate the exercise from Spanish to English. part b of the exercise asks me to write the negation of this and reason the truth value

write this in negative form @odd elm

[odd elm]

...yes, like I said, the negation is the statement that is true if the given statement is false, right? And how did I say you would prove it if this statement happened to be false?

[deft rose]

yes