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

so I'm working through homework questions for proofs class and unsure if I'm correct in my interpretation. I would really appreciate feedback. The questions states: Write the full meaning in English and decide whether True or False

a) ∀x∀y(x ≥ y)

False: for all x and for all y, there is an x which is greater/equal then y.

b) ∃x∃y(x ≥ y)

True: There exists an x and a y, in which an x is greater/equal then y.

c) ∃y∀x(x ≥ y)

True: There exists a y for all of x, where x greater/equal then y

d) ∀x∃y(x ≥ y)

True: For all x, there is a y, in which x greater/equal then y

e) ∀x∃y(x^2 + y^2 = 1)

False: For all x, there is a y in which x^2+y^2 = 1

f) ∃x∀y(x^2 + y^2 = 1)

False: There exists an x for all y in which x^2+y^2 = 1

share|cite|improve this question
by the way x and y represent real numbers – Mac Oct 9 '13 at 19:06

In (a) you say both "for all $x$" and "there is an $x$". You should have only one specifier: for all $x$ and all $y$, $x$ will be greater than or equal to $y$.

In (c) you accidentally mix up the meaning. It should be: There is a $y$ such that every $x$ is greater than or equal to this $y$. The difference from what you have writen is that $\exists y \forall x$ wants an $y$ that does not depend on $x$; the same $y$ must work for all $x$. Since there is no largest real number, the sentence is false.

In (f) you make the same mistake as in (c). It should be: There is an $x$ such that every $y$ makes $x^2+y^2=1$ hold. (This is false, of course).

share|cite|improve this answer
Thanks for the help. I'll make sure to make appropriate changes. However when you say in c) Since there is no largest real number, the sentence is call...what does that mean? Also should I assume my true/false placements are correct as you did not really comment about those? – Mac Oct 9 '13 at 19:20
@Mac: "call" was a really weird typo for "false". The rest of your answers look fine at first glance. – Henning Makholm Oct 9 '13 at 19:22

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.