Introductory Logic
Quiz #11
December 9, 2005
 

Name______________________
R. Hammack
Score _________

1. Use conditional or indirect proof to derive the conclusion.

1.     (∃x)(Ax ∨ Bx) ⊃ ~ (∃x)Ax /     (x)~Ax




















2. Use any applicable method to prove the following argument is invalid.

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