How to write the contrapositive of this statement..?

Question

"There is $x \in \mathbb{Q}$ such that $x+y \notin \mathbb{Q}$ implies $y \notin \mathbb{Q}$."

Would it be "$y \in \mathbb{Q}$ implies there is $x \in \mathbb{Q}$ such that $x+y \in \mathbb{Q}$"?

..or an $x \notin \mathbb{Q}$?

Answer 1

Neither. It would be: If $y$ is rational there is NOT a rational number $x$ where $x + y$ is irrational.

Or you could alternatively state it as: If $y$ is rational and $x$ is rational then $x + y$ is rational.