Introductory Logic
Quiz #10
December 2, 2005
 

Name______________________
R. Hammack
Score _________
DIRECTIONS. Use new rules UI, EI, UG, EG, CQ with the 18 rules of inference to deduce the conclusions of the following arguments.

1.
1.     (x)(Ax ⊃ Bx)  
2.     (x)(Bx ⊃ Cx) /     (x)(Ax ⊃ Cx)














2.

1.     (∃x)~Bx  ⊃  (x)(Cx ⊃ Dx)  
2.     ~(x)(Bx ∨ Dx) /    ~(x)Cx