Question: Give a formal proof for each of the following arguments

Please do number 3,7,13,14! Thanks

(3) Premises: (Vx) (Ax - 7Bx), (Vx) (Cx v Dx Bx), Aa Conclusion: 7Ca Da Hx)[AX v Bx 70x), (Vx) (Bx Dx), (Vx) (Dx Conclusion: (7) Premises: (Vx) (Ax (Vy) (By Cxy)), (Vx) (Ax Bx), Ba A Cha Conclusion: 7Ab (H/Bv (Vx) Ax) D Conclusion: 7Ca (13) Premises: (Vx) (Vy) (Rxy ^ Ryx Sxy) Conclusion: (Vx)(Vy) [(Vz) (Rxz ^ Ryz) Sxy] (14) Premises: (+x)(Vy) (Rxy Rf(y)f(x)), (Vx)Rxf (x) Conclusion: (Vx)Rf (f (x))f (x) My Ryf (3) Premises: (Vx) (Ax - 7Bx), (Vx) (Cx v Dx Bx), Aa Conclusion: 7Ca Da Hx)[AX v Bx 70x), (Vx) (Bx Dx), (Vx) (Dx Conclusion: (7) Premises: (Vx) (Ax (Vy) (By Cxy)), (Vx) (Ax Bx), Ba A Cha Conclusion: 7Ab (H/Bv (Vx) Ax) D Conclusion: 7Ca (13) Premises: (Vx) (Vy) (Rxy ^ Ryx Sxy) Conclusion: (Vx)(Vy) [(Vz) (Rxz ^ Ryz) Sxy] (14) Premises: (+x)(Vy) (Rxy Rf(y)f(x)), (Vx)Rxf (x) Conclusion: (Vx)Rf (f (x))f (x) My Ryf