Select the best translation into predicate logic. All kings are luckier than all paupers. (Kx: x is a king; Px: x is a pauper; Lxy: x is luckier than y)
(A)(∀x)[Kx ⊃ (∀y)(Py ⊃ Lxy)] (B)(∀x)[Kx ⊃ (∀y)(Lxy ⊃ Py)] (C)(∀x)(∀y)[(Kx • Py) ⊃ Lyx] (D)(∀x)[(Kx • (∀y)(Py)) ⊃ Lxy]
A