Each of the following proofs is correct. Fill in the missing documentation, including the flagged variables (Answers to 1 and 4.) (6) {1} 1. (Ex)Ax {2} 2. (Vx)(Ax → 7Bxa) {3} 3. Са {4} 4. (Vx)[Ax → (Vy) (y Dy → Bxy)] Deduce 7Da. P P P 5. 6. 7. 8. 9. 10. Da AZ Az → (Vy) (Cy Dy → Bzy) (Vy) (Cy Dy → Bzy) Ca Da → Bza Bza AZ → Bza Bza Bza РАПР РАПР Da 11. 12. 13. 14. 15. {1, 2, 3, 4} (7) P. Р {i} 1. {2} 2. Deduce (Ex) (Px Qx) → 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. (Vx)[Px → (Vy) (Qy → TRxy)] (Vx) [Px → (Vy) (Sy → Rxy)] (y) 77Sy. (3x) (Px Qx) PZ A QZ Pz → (Vy) (Qy → Rzy) (Vy) (Qy → Rzy) Qz Rzz Rzz Pz → (Vy) (Sy → Rzy) (Vy) (Sy → Rzy) Sz → Rzz 7752 (Ely) 7Sy (Ely) 77Sy (Ex) (Px Qx) → (Ey) 77Sy 14. {1, 2} 15.