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.      (B ⊃ G) • (K ⊃ N)  
2.      ~(G • N) /      ~(B • K)
3.      (~G ⊃ ~B) • (~N ⊃ ~K) 1, Trans, Trans
4.      ~G ∨ ~N 2, DM
5.      ~B ∨ ~K 3, 4, CD
6.      ~(B • K) 5, DM
   
   
   
   
   
   
1.      A ⊃ G  
2.      A ∨ G /      G
3.      ~~A ∨ G 2, DN
4.      ~A ⊃ G 3, Impl
5.      ~G ⊃ ~A 1, Trans
6.      ~G ⊃ G 5, 4, HS
7.      ~~G ∨ G 6, Impl
8.      G ∨ G 7, DN
9.      G 8, Taut