Question: 5
(Choose 1 answer)
(See picture)
A. (i)
B. (ii)
C. (iii)
D. (iv)
E. None of the other choices is correct
Let P(x) be a propositional function on {-2, -1, 0, 1, 2, 3}.
Find a proposition that is logically equivalent to
Vx [(x 1)→P(x)]
(i) P(1) (P(2) ^P(3))
(ii) P(1) VP(2) VP(3)
(iii) P(1)P(2)^P(3)
(iv) P(1) (P(2) VP(3))
