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

1. Sep 10, 2006

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!

Last edited: Sep 10, 2006
2. Sep 11, 2006

AKG

Looks right to me.

3. Sep 12, 2006

mr_coffee

THanks for the help!