In: Computer Science
Use quantifiers, predicates, and relations (i.e., predicates
with more than one variable) to symbolize the statements....
Use quantifiers, predicates, and relations (i.e., predicates
with more than one variable) to symbolize the statements. Let the
domain of discourse be all students in this class. Let R ( x, y ) =
x reads y, P ( x, y ) = x plays y, V ( x, y ) = x visited y, L ( x,
y ) = x learned foreign language y, T ( x, y ) = x has taken y, C (
x, y ) = x is a course in department y, and D ( x, y ) = x is a
department in school y.
- There is a student in this class who can read Hindi and
Farsi.
- Every student in this class plays some online game.
- Some student in this class has visited Europe but has not
visited South America.
- All students in this class have learned at least one foreign
language.
- There is a student in this class who has taken every course
offered by one of the departments in this school.