Question: 6
(Choose 1 answer)
(See picture)
A. (i)
B. (ii)
C. (iii)
Let L(x,y) be the statement "x + y> 5".
Translate the statement into logical expression
"For any x, there are y and y'such that x + y > 5 and x + y ≤ 5"
D. (iv)
E. None of the other choices is correct
(i) Vx(yL(x, y) ^ ¾y'(¬L(x, y'))
(ii) Vx(yL(x, y) ^ ³y' (L(x, y'))
Λ
(iii) Vx(yL(x, y) ^ Vy' (¬L(x, y'))
(iv) Vx(yL(x,y) v³y'(¬L(x, y'))
