4. Negation (6 points) Let S(r,y) denote the statement "x has seen y" and D denote the set of all students in our class and M be the set of all movies. (1) (2 points) Express the following English sentence as a quantified propo- sition using the definitions above: "For every movie there is a pair of students in our class who have both seen it." Hint: Use three quantifiers for this one. This problem is similar to #3 under "Translating Quantifiers" on the extra practice assignment. (2) (2 points) Negate the quantified proposition you wrote for part (1) (i.e., place a "" in front of it). Use de Morgan's law for quantifiers to move the negation inside the quantifiers. (3) (2 points) Translate you answer for part (2) back to plain English