Kenneth Rosen Edition 7 Exercise 1.5 Question 32 (Page No. 66)

Question

Express the negations of each of these statements so that all negation symbols immediately precede predicates.

1. $\exists z \forall y \forall x T(x,y,z)$
2. $\exists x \exists y P(x,y) \wedge \forall x \forall y Q(x,y)$
3. $\exists x \exists y(Q(x,y) \leftrightarrow Q(y,x))$
4. $\forall y \exists x \exists z (T(x,y,z) \vee Q(x,y))$