Problem 3 Give direct and indirect proofs of the following propositions: a) p,-er,s > (p) q) =~r>q b) r-> 10.13 ->p.r=-q Explain your soiutiori (premises, axioms and theorems you used) and write all your work to get full credit. Solution [Write here your solution ....]