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)) Premise2. 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)