Answer Happy

Exercise 9-3 Prove valid.
(1)1. (x)(Rx ⊃ Bx) p
2. (∃x) ∼ Bx p /∴(∃x) ∼ Rx
(3)1. K p
2. (x)[Kx ⊃ (y)Hy] p /∴ (x)Hx
(5)1. (x)(Mx ⊃ Sx) p
2. (x)(∼ Bx ∨ Mx) p /∴ (x)(∼ Sx ⊃ ∼Bx)
(7)1. (∃x)(Ax ⋅ Bx) p
2. (y)(Ay ⊃ Cy) p /∴ (∃x)(Bx ⋅Cx)
(9)1. (x)[(Fx ∨ Rx) ⊃ ∼ Gx] p
2. (∃x) ∼ (∼Fx ⋅ ∼ Rx) p/∴ (∃y) ∼ Gy
(11)1. (x)(Fx ⊃ Gx) p
2. (y)(Ey ⊃ Fy) p
3. (z) ∼ (Dz ⋅ ∼ Ez) p /∴ (x)(Dx ⊃ Gx)