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.      (~S • M) ⊃ K  
2.      S ⊃ L  
3.     A ∨ ~L  
4.     (M ∨ B) ⊃ ~A  
5.      M • X /      K
6.      M 5, Simp
7.      M ∨ B 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