Writing for all logic in 2 forms, can some one see if I did this right?

[mr_coffee]

ello ello!

The directions are the following:

Rewrite each of the following statements in the two forms \forall x,
if ____ then ___ and
\forall _____ x, _____

For some reason the latex keeps putting an x for the 2nd form, but it should be
Upside down A ______ x, _______ for the 2nd form they want.Every computer science student needs to take data structures.

I did the following:
\forall x, if x is a computer science student, then x needs to take data structures.

\forall computer science student x, x needs to take data structures.

Thanks!

 

[AKG]

Looks right to me.

 

[mr_coffee]

THanks for the help!