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

The problem states:

Express this statement in the terms of a quantifier:
There is a major such that there is a student in the class 
in every year of study with that major.

My response was:

∃x∃y∀z [x=major y=student z=year]

The graders response was that I needed a predicate function and that my logic was incorrect.

If i changed it to:

∃x∃y∀z(InClass(xyz)) [x=major y=student z=year]

would that satisfy the need for a predicate function? Or do I need to be more explicit?

I still dont see that my logic is incorrect. What am I missing?

share|cite|improve this question
up vote 2 down vote accepted

I think what the grader wanted was for you to write "major", "student" and "year" as predicate functions. It's not generally considered syntactically correct to write "major = x". Also, you need to change the order of your quantifiers:

$ \exists m \forall y \exists s[\mbox{InClass}(s) \wedge \mbox{Major}(s,m) \wedge \mbox{Year}(s,y)]$

That reads "there exists a major, and for all years, there exists a student in class, whose major is $m$ and whose years is $y$. Note how everything is in predicate form. Note also the contextual meaning of the problem. There is no student who is in every year of study for major $m$, as suggested by your sentence. That would be silly, besides violating school policy. Rather, there is a separate student for each year.

share|cite|improve this answer
Your English gloss on your symbolic formulation contains a small mistake: "for every major" should be "there exists a major". – Benedict Eastaugh Feb 2 '12 at 19:49

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.