Which of these statements is a correct translation of the statement "Every student in this class knows the Java programming language" where C(x) is the statement "x is a student in this class" and J(x) is the statement "x knows Java". Assume that the universe of discourse is the set of all people.
O ∃x(C(x) ∧ J(x))
O ∀x(C(x) ∧ J(x))
O ∃x(C(x) → J(x))
O ∀x(C(x) → J(x))