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

I have to equations: P(x)=student x knows calculus, and Q(y)=class y contains a student who knows calculus.

For something like "Some students know calculus" would it be enough to write $\exists x P(x)$, or would a better way be $\exists y \exists x Q(y) \wedge P(x)$?

Similarly, to express "every class has a student in it who knows calculus", would it be sufficient to write $\forall y Q(y)$?

share|cite|improve this question
Write "\exists y \exists x Q(y) \wedge P(x)" enclosed within dollar signs to get proper syntax output. – Quinn Culver May 31 '11 at 15:07
For the first question your $\exists x P(x)$ would suffice. And for the second question, indeed what you wrote is sufficient. – Apostolos May 31 '11 at 15:27
@Apostolos, please write your comment as an answer so I can give you credit. And thanks! – Horace May 31 '11 at 15:28
To get $\forall$ you can enclose \forall in dollar signs. – Ross Millikan May 31 '11 at 15:35
up vote 2 down vote accepted

For your first question I think your first expression, that is $\exists x P(x)$ would suffice. Your second candidate is a bit pointless unless you can express the relation between students and classrooms (that is a student belongs to a classroom). If you can express it, then maybe it will be considered a nice addition but I don't think it's required.

For your second question what you wrote is sufficient.

P.S. The command for "for all" is "\forall".

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.