Question 3 Employ a truth table to determine whether or not the following argument is valid: ~r(p^q) (premise) p→ (q^r) (premise) (qvr)→ p (premise) .. ~p^r (conclusion) (a) (b) Use the rules of inference to show that the following argument is valid: (p→→q)^(r→s) (premise) ~(r→q) (premise) wv p (premise) .. s^w (conclusion) (8 marks) (10 marks)

Fig: 1