Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

My workbook have this question:

Let be the following expression. What is its logical value on $\mathbb{Z}$ and $\mathbb{R}$?

$$\forall \space a \space (6a^2 \geq6 \Rightarrow a \geq 1)$$

First, after some algebra I rewrite the expression as:

$$\forall \space a \space (a \leq -1 \space \vee a\geq1 \Rightarrow a \geq 1)$$

Then a set up two conditions, $P(a)=6a^2 \geq 6$ and $Q(a)=a \geq1$. So the expression satys like:

$$\forall \space a \space (P(a) \Rightarrow Q(a))$$

Then I thought. On $\mathbb{Z}$, $P(a)$ is possible because there is the $0$, so the condition is not universal. $Q(a)$ it's also possible, because it is only true when $a \geq 1$. So the implication is not universal on $\mathbb{Z}$, and then the expression is false.

On $\mathbb{R}$, the same happen because $\mathbb{Z} \subset \mathbb{R}$. Is this correct?Thanks.

share|cite|improve this question
Be careful: as dwarandae commented, it must be $\,\Bbb Z\subset \Bbb R\, $ , and *not* $\,\Bbb Z\in \Bbb R\,$ – DonAntonio Jan 11 '13 at 4:25
up vote 4 down vote accepted

The correct one is what you wrote first: $\,a\leq-1\,\,\,\vee\,\,\, a\geq 1\,$ , but from this it does not follow that $\,a\geq 1\,$ , but rather $\,|a|\geq 1\,$ , which is equivalent with the first two inequalities above.

Thus, the logical value of $\,\forall\,a\in\Bbb Z\,\,\vee\,\,\Bbb R\;\;(6a^2\geq 6\Longrightarrow a\geq 1)\,$ is false, as $\,a=-1\,$ provides a contradiction in both sets.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.