Introductory Logic
Quiz #6
October 28, 2005
 
Name: ________________________
R. Hammack
Score: _________



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


1.  (C ∨ ~G) ⊃ (~P • L)  
2.  (~P • C) ⊃ (C ⊃ D)  
3.  C • ~R /   D ∨ R
4.  C 3, Simp
5.  C ∨ ~G 4, Add
6.  ~P • L 1, 5, MP
7.  ~P 6, Simp
8.  ~P • C 4, 7, Conj
9.  C ⊃ D 8, 2, MP
10. D 9, 4, MP
11. D ∨ R 10 Add