Problem 7. [10 points] Let the domain of discourse be all movies and all discrete math students. Assume the following predicates: - D(x) is true exactly when x is a discrete math student - M(x) is true exactly when x is a movie - S(x,y) is true exactly when x has seen y Continued on next page a. [5 points] Express the following in predicate logic: "For every movie, there are at least two different students who have seen it," b. [5 points] Negate your answer for part (a) (by placing a in front of it) and use De Morgan's laws to move the negation symbol to the predicates