Question

MTH 110 - TEST - Page 3 - FALL 2011

2. [8 marks] Suppose we are given the following set of premises

(1) p → q

(2) p ∧ u

(3) ∼ q ∨ s

(4) r →∼ s

Use standard argument forms (Modus Ponens, Modus Tollens, etc) and logical equivalences to deduce

the following conclusion:

∼ r ∧ s.