Exercise 1.7.2: Translating quantified statements from English to logic, part 1. About In the following question, the domain is a set of students at a university. Define the following predicates: E(x): x is enrolled in the class T(x): x took the test Translate the following English statements into a logical expression with the same meaning. (a) Someone who is enrolled in the class took the test. (b) All students enrolled in the class took the test. (c) Everyone who took the test is enrolled in the class. (d) At least one student who is enrolled in the class did not take the test. Solution