Introductory Logic
Quiz #5
April 7, 2006
 
Name: ________________________
R. Hammack
Score: _________



1.
Use only the first 8 Rules of Implication to derive the conclusion of the following argument.


1.      (~SM) ⊃ K  
2.      SL  
3.     A ∨ ~L  
4.     (MB) ⊃ ~A  
5.      MX /      K
6.      M 5, Simp
7.      MB 6, Add
8.      ~A 4, 7, MP
9.       ~L 3, 8, DS
10.      ~S 2, 9, MT
11.      ~S M 6, 10 Conj
12.      K 1, 11, MP