# Homework Help: HOw do u decode this statement to find its equivalent?

1. Oct 12, 2006

### mr_coffee

Hello everyone, another pratice exam question i'm having issues on.

Which statement is equivalent to the following statement?
It is not true in general that two real numbers must be equal if their squares are equal.

Would i write an existance statement like

There exists 2 real numbers, x and y, such that if x = y then x^2=y^2.

But the statement is It is NOT true...so now would i take the negation of that existance statement and get...

~(There exists 2 real numbers, x and y, such that if x = y then x^2=y^2.) =
There are 2 real numbers, x, and y, such that x = y and x^2 != y^2.

But this isn't right, because the answer is the following:

THere are two different real numbers that have the same square.

I don't see how they came up with this.

Any help would be great.

Last edited: Oct 12, 2006
2. Oct 12, 2006

### HallsofIvy

Decode? This isn't a code, it is a statement. You don't rephrase it by following some formula, you do it by thinking! Notice that the last part of it is "if two squares are equal". It is not true that "if x2= y2 then x= y". Note that the "if" part is not your "if x= y" but "if x2= y[/sup]2[/sup]".

If you must apply formulas without thinking, then use this: the negation of "for all x, ..." is "for somex, not ...".
The negation of "for all x, y if x2= y[/sup]2[/sup] then x= y" is "There exist x, y such that x is not equal to y but x2= y[/sup]2[/sup]."

3. Oct 12, 2006

### mr_coffee

Thanks for the clarification.

It is not true in general that two real numbers must be equal if their squares are equal.

I thought this was an existance statement, not a universal.

but is it universal? its not saying for all real numbers, but for just 2, thats why i thought they ment existance rather than universal.

if its universal would it be this?
For all real numbers x and y, if x^2= y^2 then x = y.

But i'm not sure where I would be the "not true" part, or does the "not true" mean to take the negation of the statement?
so it would be

There exists real numbers x and y, such that x^2 = y^2 and x != y.

I believe this negation is correct if it was a universal statement but it can't be right because its not the answer on the exam. So either the "it is not true" part is messing me up or I used a universal statement where I should be using an existance statement. But i'm not sure which.

Or does There exists real numbers x and y, such that x^2 = y^2 and x != y. Logically equivlent to saying: There are two different real numbers that have the same squares? Since this is existance, and not universal i see where they are getting "there are two different real numbers" and its not saying x == y, but saying they are not equal, but it is saying x^2 = y^2 so maybe it is right.

Last edited: Oct 12, 2006
4. Oct 13, 2006

### HallsofIvy

It says "in general". Yes, it talks about two numbers but they can be any two numbers. That's why this is a universal statement.

Yes, that's exactly what it says.

Yes, the statement is "It is not true in general that ..." and then the entire statement. It is the negation of the entire statement

Tnen what was the answer on the exam?

That last sentence completely confuses me! If you are saying that the answer on the exam was "There are two different real numbers that have the same squares", the is exactly the same as your "There exists real numbers x and y, such that x^2 = y^2 and x != y".

I would be inclined to say "There are two different real numbers that have the same squares" is a better answer than "there exist real numbers x and y, such that x^2= y^2 and x != y" because it is worded in the same way as the original statement "It is not true in general that two real numbers must be equal if their squares are equal" rather than "It is not true, for all real numbers x, y, that if x^2= y^2, then x= y".

Last edited by a moderator: Oct 13, 2006
5. Oct 13, 2006

Thanks Ivey!