1. ## Discrete/Logic

Heres the problem

Heres my attempt. I'm not sure if I have done it correctly, if not, am I on the right track?

Edit: My answer is meant to be true, not false

2. $\left[ {0 \in \mathbb{R}\backslash \mathbb{R}^ - } \right]\left[ {\forall y \in \mathbb{R}\backslash \mathbb{R}^ - } \right]\left( {0^2 < 1 + y} \right)$

3. What are these R symbols?

Was I totally wrong? Is what you wrote the solution?

4. Originally Posted by g4me
What are these R symbols?
Was I totally wrong? Is what you wrote the solution?
Although that is no absolute set of symbols in mathematics some notations are widely accepted. The symbol $\mathbb{R}$ is used to denote the real numbers. $\mathbb{R}^+$ denotes the positive reals and $\mathbb{R}^-$ denotes the negative reals.
Thus $\mathbb{R}= \mathbb{R}^+ \cup \mathbb{R}^- \cup {0}$ so the nonnegative reals are $\mathbb{R}\backslash \mathbb{R}^ - = \mathbb{R}^ + \cup \{ 0\}$.

As to the “Was I totally wrong?”, I really have no idea what you did. I cannot follow it. The symbolic statement reads “There is some nonnegative real number, x, having the property that for every real number y then $x^2.
You see that zero has that property; so does $\frac {1} {2}$.