Introductory Logic
Quiz #8
November 9, 2005
 
Name: ________________________
R. Hammack
Score: _________


Use the technique of conditional proof to deduce the conclusion of the following argument.

1.

1.  G ⊃ B  
2.  (B ∨ S) ⊃ K /    G ⊃ K
              3.  G ACP
              4.  B 1, 3, MP
              5.  B ∨ S 4, Add
              6.  K 2, 5, MP
7.  G ⊃ K 3-6, CP