Answer Happy

70 Formal Logic 7. Justify each step in the following proof sequence of Ex)[P(x) → 26)]-[(x)P(x) {x}Qx)] 1. (3x)[P) → Oxx)) 2. Pla) - Qa) 3. (Vx)P(x) 4. Pa) 5. Qa) 6. Ex Q(x)