Solve part c please

For each these arguments, explain which rules of inference are used for each step. a) Show that the argument form with premises 4p, (q V p), (r V q) and conclusion r is valid by using rules of inference. Show that the argument form with premises -p leftrightarrow q, q rightarrow r, r and conclusion p is valid by using rules of inference. c) Show that the argument form with premises u rightarrow r, (r lambda s) rightarrow (p V t), q rightarrow (u lambda s), t, q, and conclusion p is valid by using rules of inference