Select the best translation into predicate logic. All children go to some school. (Cx: x is a child; Sx: x is a school; Gxy: x goes to y)
(A)(∀x)(∃y)[(Cx • Sy) • Gxy) (B)(∀x)[Sx ⊃ (∃y)(Cy • Gxy)] (C)(∀x)[Cx ⊃ (∃y)(Sy • Gxy)] (D)(∀x)[Sx • (∃y)(Cy • Gxy)]
C