Today I had an argument with my math teacher at school. We were answering some simple True/False questions and one of the questions was the following:
$x^2\ne x\implies x\ne 1$
I immediately answered true, but for some reason, everyone (including my classmates and math teacher) is disagreeing with me. According to them, when $x^2$ is not equal to $x$, $x$ also can't be $0$ and because $0$ isn't excluded as a possible value of $x$, the sentence is false. After hours, I am still unable to understand this ridiculously simple implication. I can't believe I'm stuck with something so simple.
Why I think the logical sentence above is true:
My understanding of the implication symbol $\implies$ is the following: If the left part is true, then the right part must be also true. If the left part is false, then nothing is said about the right part. In the right part of this specific implication nothing is said about whether $x$ can be $0$. Maybe $x$ can't be $-\pi i$ too, but as I see it, it doesn't really matter, as long as $x \ne 1$ holds. And it always holds when $x^2 \ne x$, therefore the sentence is true.
TL;DR:
$x^2 \ne x \implies x \ne 1$: Is this sentence true or false, and why?
Sorry for bothering such an amazing community with such a simple question, but I had to ask someone.