Find the errors in the logical proof below, answering parts (a) - (c)

3. Spoofclusions (17 points) Theorem: Given s (p/\ q),-3 r, and (rVp)-> q, prove q "Spoof" GIven GIven V Elim: 2 2. (rVp)q 4.2. 4.3 s Assumption MP: 4.1, 1 g MP: 4.2, 3 Direct Proof Rule Assumption 5.2. s -(pAq) Given 5.3. PA 5.4. MP: 5.1, 5.2 ? Elim: 5.3 Direct Proof Rule] ^ Intro: 4,5 -+ Elim: 6 Double Negation 10. ((-s V q) ^ s) V (q ^ (-3 V q)) Commutativity Absorption Commutativity Associativity Negation Commutativity Identity ldempotence 15. (F V?) V 17. Vq 18. 9 (a) [6 Points] There are two errors in this proof. Indicate which lines contain the errors and, for each one explain (as briefly as possible) why that line is incorrect. (b) [5 Points] Is the conclusion of the "spoof" correct? Explain why or why not. (c) [6 Points] Give a correct proof of what is claimed in lines 6-18, i.e., that, from (s-> q)A(-3-> q), we can infer that q is true