roberto_osh
New member
- Joined
- Sep 5, 2019
- Messages
- 1
Evaluate the following truth set:
[MATH] \{x \in \mathbb{R}: (\exists y \in \mathbb{R})(x = y^2)\}[/MATH].
I have the strong suspicion that the given set evaluates to [MATH][0, \infty)[/MATH]. I cannot help but find the way this set is defined weird: this is definitely caused by my lack of understanding. From what I know this set is composed of all the [MATH]x[/MATH]'s which makes the predicate '[MATH](\exists y \in \mathbb{R})(x = y^2)[/MATH]' true. I would like to know if this set is, somehow, related to the predicate [MATH](\exists x \in \mathbb{R})(\exists y \in \mathbb{R})(x = y^2)[/MATH]. Any kind of explanation or insight would be appreciated.
[MATH] \{x \in \mathbb{R}: (\exists y \in \mathbb{R})(x = y^2)\}[/MATH].
I have the strong suspicion that the given set evaluates to [MATH][0, \infty)[/MATH]. I cannot help but find the way this set is defined weird: this is definitely caused by my lack of understanding. From what I know this set is composed of all the [MATH]x[/MATH]'s which makes the predicate '[MATH](\exists y \in \mathbb{R})(x = y^2)[/MATH]' true. I would like to know if this set is, somehow, related to the predicate [MATH](\exists x \in \mathbb{R})(\exists y \in \mathbb{R})(x = y^2)[/MATH]. Any kind of explanation or insight would be appreciated.
