Kenneth Rosen Edition 7 Exercise 1.4 Question 27 (Page No. 54)

Question

Translate each of these statements into logical expression in three different ways by varying the domain and by using predicates with one and with two variables.

1. A student in your school has lived in Vietnam.
2. There is a student in your school who can not speak Hindi.
3. A student in your school knows Java, Prolog, and C++.
4. Everyone in your class enjoys Thai food.
5. Someone in your class does not play hockey.