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

Question

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

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