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)