Consider the statement
$$ \exists x\in\mathbb{R} \; \forall y\in\mathbb{R}, \; x^{2}+y^{2}\leq 1 \Rightarrow xy\neq 0 $$
The negation of it (i.e.) $$\lnot(\exists x\in\mathbb{R} \forall y\in\mathbb{R}, \; x^{2}+y^{2}\leq 1 \Rightarrow xy\neq 0)$$
should be (not sure if this is correct)$$\forall x\in\mathbb{R} \; \exists y\in\mathbb{R}, \; x^{2}+y^{2}\leq 1 \land xy=0$$
Which of these statements is true? I'm having trouble figuring it out.
The first one should be false because if $x=0$ and $y<1$ then $x^{2}+y^{2}$ will be true but $xy$ will still equal $0$ and be false.
In the second one if $x>1$ and $y=0$ then $x^{2}+y^{2}$ will be greater than $1$ (be false) and $xy$ will equal $0$ (true), so all together it's false (for conjunction to be true both have to be true, right?)