3
$\begingroup$

I couldn't be sure about the negation of the statement $\exists x \in N , x < 3$

is it $$ \lnot(\exists x \in N , x < 3) \equiv (\forall x \in N , x \geq 3) $$ or $$ \lnot (\exists x \in N , x < 3) \equiv (\forall x \notin N , x \geq 3) $$ can someone help me (with an explanation)?

  • 2
    [This might be helpful](http://math.stackexchange.com/questions/200325/what-is-the-negation-of-this-statement/200332#200332).2012-10-01

3 Answers 3