Select the best translation into predicate logic: No senior graduates without a major. (Sx: x is senior; Gx: x graduates with a major)
(A)(∀x)(Sx ⊃ ~Gx) (B)~(∀x)(Sx ⊃ Gx) (C)(∀x)( ~Sx ⊃ ~Gx) (D)(∀x) ~(Sx ⊃ ~Gx)
A