5. [1.6] (5 points) In the following argument, give a justification for each step. Premises: Conclusion: Vx(-R(x) P(x)) Vx(P(x) Q(x)) Vx[(-P(x)^Q(x)) R(x)) Reason Premise Premise Step 1. Vx(P(x) g(x)) 2. P(a) Q(a) 3. P(a)(a) R(a) 4. Vx((-P(x)^Q(x)) R(x)) 5. (-P(a) Qa) R(a) 6. -(-P(a)^Q(a)) v R(a) 7. P(a)-(a) R(a) 8. P(a) R(a) 9. -(-R(a)) v P(a) 10. -R(a) P(a) 11. Vx(-R(x) P(x))