1. don't understand part of answer to contrapositive question

Find the contrapositive. If there exists real numbers x and y with x $\neq$ y and $x^{2}+x y+y^{2}+x+y=0$ then f is not one-to-one

I got:
if f is one-to-one then for all real numbers x and y with x=y or $x^{2}+x y+y^{2}+x+y \neq 0$
Why is it still = and not $\neq$?

2. Re: don't understand part of answer to contrapositive question

Hey Jskid

When thinking about the contrapositive consider this.

The original statement: if m then n

Then the contrapositive will be: if not n then not m.

does this help?

P.S. to avoid those nasty latex errors use "tex" tags not "math" tags.

3. Re: don't understand part of answer to contrapositive question

Originally Posted by pickslides
Hey Jskid

When thinking about the contrapositive consider this.

The original statement: if m then n

Then the contrapositive will be: if not n then not m.

does this help?

P.S. to avoid those nasty latex errors use "tex" tags not "math" tags.
A little.
So n is "If there exists real numbers x and y with $x \neq y$ and $x^{2}+x y+y^{2}+x+y=0$" right?
Why does the negation change x=y to $x \neq y$ the "and" to "or" but not $x^{2}+x y+y^{2}+x+y = 0$ to $x^{2}+x y+y^{2}+x+y \neq 0$?

4. Re: don't understand part of answer to contrapositive question

We have $\neg(A\land B)\Leftrightarrow\neg A\lor\neg B\Leftrightarrow A\to\neg B$.

Originally Posted by Jskid
Find the contrapositive. If there exists real numbers x and y with x $\neq$ y and $x^{2}+x y+y^{2}+x+y=0$ then f is not one-to-one

I got:
if f is one-to-one then for all real numbers x and y with x=y or $x^{2}+x y+y^{2}+x+y \neq 0$
Should be: "...then for all real numbers x and y, it is the case that x=y or $x^{2}+x y+y^{2}+x+y \neq 0$." (The phrase "it is the case that" is inserted just to avoid two mathematical expressions with no words between them.) Alternatively, "...then for all real x and y, if $x\ne y$, then $x^{2}+x y+y^{2}+x+y \neq 0$."

Originally Posted by Jskid
Why is it still = and not $\neq$?
What is "still" = ?. The assumption was $x\ne y\land x^{2}+x y+y^{2}+x+y=0$; its negation is $x=y\lor x^{2}+x y+y^{2}+x+y\ne0$.

Originally Posted by Jskid
So n is "If there exists real numbers x and y with $x \neq y$ and $x^{2}+x y+y^{2}+x+y=0$" right?
Yes, but without the initial "If."

Originally Posted by Jskid
Why does the negation change x=y to $x \neq y$ the "and" to "or" but not $x^{2}+x y+y^{2}+x+y = 0$ to $x^{2}+x y+y^{2}+x+y \neq 0$?
The last equation does change to inequation.

5. Re: don't understand part of answer to contrapositive question

If f is one-to-one, then for all real numbers x and y either x=y or $x^2+xy+y^2+x+y=0$
is the end a typo? Shouldn't it be $\neq 0$?