"Some computer science majors take discrete math"

S is the domain of all college students C(x) means "x is a computer science major" D(x) means "x takes discrete math"

Can someone please explain why the following statement is wrong according to the TA?

There exists x in S such that C(x) implies D(x)

I don't understand

EDIT: I can see how it could be: There exists x in S such that C(x) AND D(x), but I don't see why an implication is wrong for SOME x in S

S is the domain of all college students C(x) means "x is a computer science major" D(x) means "x takes discrete math"

Can someone please explain why the following statement is wrong according to the TA?

There exists x in S such that C(x) implies D(x)

I don't understand

EDIT: I can see how it could be: There exists x in S such that C(x) AND D(x), but I don't see why an implication is wrong for SOME x in S