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