(Choose 1 answer)
(See picture)
A. (ii)
B. (iv)
C. (iii)
D. (i)
E. None of the other choices is correct
Suppose L (x, y) is the statement
"Student.x solves question y correctly".
Translate the statement into logical expression
"For any question in the exam, there are at least two students who solve it correctly and at least one student who does noť"
(i) y(x(L(x, y)^∃x'L(x', y)^3x"-L(x, y)))
(ii) y(x(L(x, y)^∃x'-L(x, y))
(iii) y(x(L(x, y)^∃x' ((x≠x') L(x, y))))
(iv) Vy (Ex(L(x, y)^x' ((x≠x') L(x, y))) ^ Ex-L(x, y))
Back
Next
vat fini
El (29