(Choose 1 answer)
(See picture)
A. (iii)
B. (ii)
Let Q(x, y) be the statement "Student.x has studied subject y",S(x, z) the statement "Student.x is in class z".
Translate the sentence into a logical expression
C. None of the other choices is correct
D. (i)
E. (iv)
"Every student in class CS150 has studied Calculus"?
(i) x(Q(x, Calculus) S(x, CS150))
(ii) ∀x(S(x, CS150)→ Q(x, Calculus))
(iii) Ex(Q(x, Calculus) → S(x, CS150))
(iv) Ex(S(x, CS150)→ Q(x, Calculus))
Exit 45