Question

\[\neg[\forall x[x < 0 \Rightarrow\exists y (y^2 = x)]]\iff\exists x[x\geq0\Rightarrow\forall y(y^2\neq x)]\]

Answer 1

am i right/

Answer 2

no wait , i see error

Answer 3

the negation of an implication

Answer 4

the negation of \(\to\) is \(\wedge\)

Answer 5

yeah

Answer 6

\[ \large \neg(p\to q)\equiv p\wedge\neg q \]

Answer 7

\[\exists x[x<0\wedge\forall y(y^2\neq x)]\]

Answer 8

Ya that makes more sense

Answer 9

hmmm you edited your question but its still incorrect

Answer 10

\[\neg\left[\forall x[x < 0 \Rightarrow\exists y (y^2 = x)]\right]\iff\exists x\left[x<0\land\forall y(y^2\neq x)\right]\]

Answer 11

Yes thats the answer

Answer 12

thanks to you both

Answer 13

not that I helped :P

Answer 14

u r welcome