Kenneth Rosen Edition 7 Exercise 1.5 Question 15 (Page No. 66)

Question

Use quantifiers and predicates with more than one variable to express these statements.

1. Every computer science student needs a course in discrete mathematics
2. There is a student in this class who owns a personal computer.
3. Every student in this class has taken at least one computer science course.
4. There is a student in this class who has taken at least one course in computer science.e)Every student in this class has been in every building on campus.
5. There is a student in this class who has been in every room of at least one building on campus.
6. Every student in this class has been in at least one room of every building on campus.