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.

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

I'm not sure how to interpret this problem.

Find a domain for the qunatifiers in: $$\exists{x} \exists{y}(x\neq y \wedge \forall{z}((z=y)\ \lor(z=x))) $$ such that this statement is false.

So, the translation to English would be: There exists some $x$ and some $y$ that are not the same and $z$ is $y$ or $z$ is $x$.

It's gibberish to me at this point.

share|cite|improve this question
There exists some x and some y that are not the same and for all z, z is y or z is x. – Integral Mar 9 '13 at 22:20
I read it as "there exist two distinct things such that everything is at least one of these things." This is clearly false when there is more than two things, because then no matter which two things x, y we pick, there will be a third thing that is neither x nor y. – anon Mar 9 '13 at 22:30
The short reading is: the universe is made up of precisely two objects. – André Nicolas Mar 9 '13 at 22:36
up vote 4 down vote accepted

There are two objects, $x$ and $y$. Since mathematical objects, even under different labels, need not be distinct, we also require $x\neq y$. So there are two distinct objects called $x$ and $y$.

And for every object $z$ that we take, either $x=z$ or $z=y$. So any object in the universe is actually either $x$ or $y$ (but not both, as these are distinct objects).

Now consider the example "I have one orange and one apple, and any fruit I have is either an orange or an apple". What have I told you? I told you that all my fruits are these two, an orange and an apple. But if I also have a peach then I was lying when I told you that. Because I have a fruit which is neither the apple nor the orange.

The sentence you are given is no different, only it doesn't care for oranges and apples and other things. It is an abstract claim about an abstract universe. When will it be true? When there are exactly two objects in the universe, and it will be false if there is a third object.

share|cite|improve this answer
Couldn't we also just do the negation of the statement and then find a domain that satisfies this? – Frudrururu Mar 10 '13 at 1:17
@Wishingwell: You can. But that requires you to understand how negation goes through quantifiers. I found that on average, both tasks (parsing and negating) are equally confusing to freshmen. – Asaf Karagila Mar 10 '13 at 1:25

In addition to Asaf's answer, when there is only one element in the domain you can not find $x \neq y $. Or, if the domain is empty then you cannot find x.

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.