1. For each of the following, construct a derivation of the conclusion from the premises:

Vx(Nx -›Px); ~(Pa V~Ta) / ~Na

2. For each of the following, construct a derivation of the conclusion from the premises:

Za & Xa; Xa -Ca / 3xCx

3. For each of the following, construct a derivation of the conclusion from the premises:

Fc; 3xFx -+Vx(Gx VHx); 3x(Gx VHx) -›Hb / 3xHx

4. For each of the following, construct a derivation of the conclusion from the premises:

Vx(~Px VRx); Vx(~DX -+~Rx) / Vx(Px -+Dx)

5. For each of the following, construct a derivation of the conclusion from the premises:
]xFx; ]x(Gx VHx) / Vx~Hx -+(Vx~Fx -›VxGx)

6. For each of the following, construct a derivation of the conclusion from the premises:

3xJx; Vx[Jx -+(Lx VWx)]; Vx~ (Jx & Wx) / IxLx

7. For each of the following, construct a derivation of the conclusion from the premises:

Vx[(Bx & Tx) +*Mx]; 3xIx; Vx(Ix -+Bx) / 3xMx

8. For each of the following, construct a derivation of the conclusion from the premises:

3xSx / VxWx -+]x(Wx & Sx)

9. For each of the following, construct a derivation of the conclusion from the premises:

VxBx; Vx~Mx/~]x(Bx #+Mx)

10. For each of the following, construct a derivation of the conclusion from the premises:

Vx(Hx -›Fx); 3xGx -›Vx(Gx -›Hx) / Vx(Gx -+Fx)