Select the best translation into predicate logic. All jellybeans are sweeter than all fruit. (Fx: x is a fruit; Jx: x is a jellybean; Sxy: x is sweeter than y)
(A)(∀x)[Fx ⊃ (∀y)(Jy ⊃ Sxy)] (B)(∀x)(∀y)[(Fx • Jy) • Sxy] (C)(∀x)(∀y)[Sxy ⊃ (Fy • Jx)] (D)(∀x)[Jx ⊃ (∀y)(Fy ⊃ Sxy)]
D