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

∃x(∼Wx → Px) / ∃x(Wx ∨ Px)

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

∼∀x(Dx → Lx) / ∃x(Dx ∨ ∼Lx)

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

∀x(Kx → Qx); ∀x∃y(Ky & Zxy) / ∀x∃y(Qy & Zxy)

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

∃xLdx → ∀xLxd; ∼Ldd / ∼Ldq

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

∀x∃yQxy; ∀x∃y(Qxy → Qyx); ∀x(∃yQxy → ∀yQyx) / ∀x∀y Qxy

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

∃x∀yHxy / ∼∀x∃y∼Hxy

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

/ ∼∃x∀y(Fxy ↔ ∼Fyy)

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

∀x(Zxb → ∃y∼Txy); ∃x(Rx & ∀yTxy) / ∃x(Rx & ∼Zxb)

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

∀x∃yJxy; ∀x∀y∀z[( Jxy & Jyz) → Jxz]; ∀x∀y( Jxy → Jyx) / ∀xJxx

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

∃xFx ∨ ∃xGx / ∃x(Fx ∨ Gx)