COULD YOU HELP ME WITH (b)

2. Use rules of inference and logical equivalences to show that the following arguments are valid. Be sure to cite which rules of inference or logical equivalences you use on each line of your proof, and indicate which line numbers are involved in each step. (a) The argument has premises:-s, t1 p, q (u^ t), and (p^ t) (b) The argument has premises: Vz [E(z) (Plz)^-A(z))] and-3r (P(z)VA(z)); and conclusion: (r V s), and conclusion: q r -3r C(r)