hello!

can you please solve #7 only.

thank you!

Complete the following proofs using the rules for adding and removing quantifiers where appropriate. (1) 1. (x)FX(x)GX 2. (x)FX 3. (x)(DxGx) p p p I(x)(DxGx) (2) 1. (x)[Ax2(BxCx)] 2. (x)Cx pp/(x)(DxAx) (3) 1. (x)[Ax(BxCx)] p 2. (x)[(AxCx)Dx] p 3. (x)(DxCx) p/(x)Ax (4) 1. AbBc 2. (x)(AxBx) p 3. (x)[(AxBx)Ax] p p/Bc (5) 1. AbBc p 2. (x)Bx p/(x)Ax (6) 1. (y)(RyGy) p 2. (z)(BzGz) p 3. (y)Ry p/(y)By (7) 1. (z) [AZ(BzCZ)] p 2. Ba p/AaCa