CS-GY 6003 CF01 For each statement below, convert the statement to predicate logic, and write the negation of the statement in logic. You may use S for the domain of students, C for the domain of courses. You may use C(x, y) for student x in class y, and F(x) for student x being a freshman student, G(x) for student x being a graduating student, and A(y) being an advanced class y