2. Nested Quantifiers (3 points) Let K(x, y) denote the statement "x knows y" and D denote the domain of all people. Express the following English sentences as a quantified proposition using the definitions above: (1) Everybody knows somebody. (2) There is somebody that no one knows (3) There is no one who knows everybody 3. Negating Quantifiers (3 points) Rewrite each of these statements such that all of the negation symbols i.e. -) are in front of the propositional functions P or Q (2)-v,3M : (P(z, y) Q(z, y))