Q7

7. Identify the error or errors in this argument that supposedly shows that if x(P(x)Q(x)) is true, then xP(x)xQ(x) is true. 1. x(P(x)Q(x)) Premise 2. P(c)Q(c) Universal instantiation from (1) 3. P(c) Simplification from (2) 4. xP(x) Universal generalization from (3) 5. Q(c) Simplification from (2) 6. xQ(x) Universal generalization from (5) 7. x(P(x)xQ(x)) Disjunction from (4) and (6)