eLMS Practice Exercises
• Let P(x, y) be the statement “student x has taken class y”, where the domain for x consists of all students and y consists of all computer engineering courses at your school.
• Express each of the quantification in English sentences
1. ∀x ∀y P(x,y)
2. ∀x Ǝy P(x,y)
3. Ǝx ∀y P(x,y)
4. Ǝx Ǝy P(x,y)
1. Each student has taken all classes.
2. Each student has taken at least one class.
3. There is at least one students that has taken all classes.
4. There is at least one student that has taken at least one class.
Comments
Leave a comment