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.

Is my answer to question 1 correct or is the double ∃ mean each student has taken each CS class?

Let P(x, y) be the statement “Student x has taken class y,” where the domain for x consists of all students in your class and for y consists of all computer science courses at your school. Express each of these quantifications in English.

1) ∃x∃yP(x, y)
2) ∃x∀yP(x, y)

1) There exists a student that has taken one CS class.
2) There exists a student that has taken all CS classes.

Edit: New answers based on suggestions. 1) At least one student has taken at least one CS class. 2) At least one student has taken all CS classes.

share|improve this question
    
You wrote up there "each student has taken one each CS class. It is either one or each, or each one of the CS classes. –  Pedro Tamaroff Jul 6 '12 at 4:36
    
Thanks that was a typo. –  LF4 Jul 6 '12 at 4:39
1  
Technical warning: "has taken one CS class" could be understood to mean "taken precisely one CS class." Instead you may want to specify e.g. "at least one CS class." Other than that, looks good. –  anon Jul 6 '12 at 4:53
1  
I'd translate $\exists x:$ at least one student (or, some students). Similarly for $\exists y:$ some classes. –  user2468 Jul 6 '12 at 4:55
1  
BTW, I removed the tag (propositional-calculus), because $P()$ is a predict, and this is predicate calculus. –  user2468 Jul 6 '12 at 4:59

1 Answer 1

up vote 1 down vote accepted

New answers based on suggestions.
1) At least one student has taken at least one CS class.
2) At least one student has taken all CS classes.

share|improve this answer

Your Answer

 
discard

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.