Question

In the following question, the domain of discourse 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 took the test who is enrolled in the class.
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.

Answer 1

Answer:

From the examples given below:

E(x): x is enrolled in the class T(x): x took the test ,

The following sentences can be translated into something similar like:

1 E(x): All students enrolled in the class.

T(x): All students took the test.

2. E(x): Someone took the test  

T(x): Someone are enrolled in the class.

3. E(x): Everyone took the test  

T(x): Everyone is enrolled in the class.

4. E(x): At least one student  is enrolled in the class

T(x): At least one student did not take the test.

Step-by-step explanation: