Hint for Section 2.1 Question 4

4. a) Recall that the negation of "" x D, S(x)'' is $ x D such that ~S(x).

b) Recall that the negation of "$ x D such that S(x)'' is  " x D, ~S(x).

Back to Section 2.1
Full solution