What these simple rules of logical implications mean
Contradictions can't happen. If $x$ implies a contradiction, then $x$ can't be true.
Either $y$ is true, or it isn't.  That's still the case even if I first tell you that $x$ is true.