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)) Conjunction from (4) and (6)