(a) Give a recursive definition for the disjunction of statements p1 p2, . . . , pn, Pn+1 n > 1.
(b) Show that if n, r ∈ Z+, with n > 3 and 1 < r < n, then (p1 ∨ p2 ∨ ∙ ∙ ∙ ∙ ∨ pr) ∨ (pr+1 ∨ ∙ ∙ ∙ ∨ pn) ⇔ pl ∨ p2 ∨ ∙ ∙ ∙ ∨ Pr ∨ pr+1 ∨ ∙ ∙ ∙ ∙ ∨ pn.