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



This Question is Closed

UnkleRhaukus
Best Response
You've already chosen the best response.
2
am i right/

UnkleRhaukus
Best Response
You've already chosen the best response.
2
no wait , i see error

UnkleRhaukus
Best Response
You've already chosen the best response.
2
the negation of an implication

helder_edwin
Best Response
You've already chosen the best response.
1
the negation of \(\to\) is \(\wedge\)

UnkleRhaukus
Best Response
You've already chosen the best response.
2
yeah

helder_edwin
Best Response
You've already chosen the best response.
1
\[ \large \neg(p\to q)\equiv p\wedge\neg q \]

UnkleRhaukus
Best Response
You've already chosen the best response.
2
\[\exists x[x<0\wedge\forall y(y^2\neq x)]\]

swissgirl
Best Response
You've already chosen the best response.
0
Ya that makes more sense

swissgirl
Best Response
You've already chosen the best response.
0
hmmm you edited your question but its still incorrect

UnkleRhaukus
Best Response
You've already chosen the best response.
2
\[\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]\]

swissgirl
Best Response
You've already chosen the best response.
0
Yes thats the answer

UnkleRhaukus
Best Response
You've already chosen the best response.
2
thanks to you both

swissgirl
Best Response
You've already chosen the best response.
0
not that I helped :P

helder_edwin
Best Response
You've already chosen the best response.
1
u r welcome