Introductory Logic
Quiz #6
April 12, 2006
 
Name: ________________________
R. Hammack
Score: _________



Use only the 18 rules of implication and replacement to derive the conclusions of the following arguments.


1.      (BG) • (KN)  
2.      ~(GN) /      ~(BK)
3.      (~G ⊃ ~B) • (~N ⊃ ~K) 1, Trans, Trans
4.      ~G ∨ ~N 2, DM
5.      ~B ∨ ~K 3, 4, CD
6.      ~(BK) 5, DM
   
   
   
   
   
   
1.      AG  
2.      AG /      G
3.      ~~AG 2, DN
4.      ~AG 3, Impl
5.      ~G ⊃ ~A 1, Trans
6.      ~GG 5, 4, HS
7.      ~~GG 6, Impl
8.      GG 7, DN
9.      G 8, Taut