Question

Predicate logic?
I'm confused on how to form this.

Consider the following predicates over the set S of students:
 C(x): x is in the compsci class.
 J(x): x is a junior student
 S(x): x is a senior student
 CS(x): x is a comp sci major
 M(x): x is a Math major
 T(x, y): student x tutors student y (i.e. x is a tutor of y).
Rewrite each of the following statements in Predicate Logic using only the given predicates and
the operators = and ≠ .
a) [2] Junior students who are in the compsci class are either CS or math majors.

Answer 1

so is it like:
\[\forall x \in S, J(c(x)) = CS(x) or M(x)\]