Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

The problem I am working on is:

Determine the truth value of each of these statements if the domain consists of all integers.

a) $∀n(n+1>n)$

b) $∃n(2n=3n)$

c) $∃n(n=−n)$

d) $∀n(3n≤4n)$

The only part I am having difficulty with is part (d). The answer key declares that this statement is true. But isn't it really a false statement? Wouldn't any negative number render this statement false?

share|improve this question
I think the domain is positive integers for the d part or maybe you should think of the negative integers as -1.n, $n\in Z^+$, so when you multiply the inequality with -1, the direction of the inequality changes. –  ciceksiz kakarot Feb 9 '13 at 19:52
Which would make perfect sense, if they had specified that the domain was in fact positive integers. So, can I just conclude that the answer key is wrong? –  Mack Feb 9 '13 at 19:55
The answer key is wrong -- since (c) only makes sense if the domain is positive and negative integers, and presumably the same domain is to be assumed in (c) and (d). –  Peter Smith Feb 9 '13 at 19:56
@PeterSmith Well, c) is true for the value 0. –  Mack Feb 9 '13 at 20:01
@EliMackenzie It seems the answer key has some problems, for the d part my explanations seems correct (please look and if it's wrong inform me), but 0 is definetely true in c part, so yes the domain is problematic. –  ciceksiz kakarot Feb 9 '13 at 20:04

1 Answer 1

up vote 2 down vote accepted

Given that the domain of $n$, as stated, is all* $n\in \mathbb{Z}$, then your reasoning is correct and $d$ is indeed false. Negative integers would serve as your counterexample showing the statement is false. So the answer key must be wrong, or there was a typo in the problem set!

If the domain of $n$ were $\mathbb{N}$, and depending on how one defines the natural numbers $\mathbb{N}$: would is any integer $n \geq 0$ (or an integer $n\geq 1$).

Hence, in either case, negative numbers are excluded from the domain of $n\in \mathbb{N}$.

Hence, $(d)$ would be true, if the domain were in fact $n \geq 0$: given ANY $n\in \mathbb{N},\;3n\leq 4n$, since $3\leq 4$ is clearly true.

share|improve this answer
+1 for ruling out that bad $d$. :D –  Babak S. Feb 9 '13 at 20:46
@amWhy Yes, and thank you very much! –  Mack Feb 9 '13 at 21:53

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.