Introductory Logic |
Quiz #10
|
December 2, 2005
|
|
||
Name______________________ |
R. Hammack
|
Score _________
|
1. (x)(Ax ⊃ Bx) | |
2. (x)(Bx ⊃ Cx) | / (x)(Ax ⊃ Cx) |
3. Ay ⊃ By | 1, UI |
4. By ⊃ Cy | 2, UI |
5. Ay ⊃ Cy | 3, 4, HS |
6. (x)(Ax ⊃ Cx) | 5, UG |
1. (∃x)~Bx ⊃ (x)(Cx ⊃ Dx) | |
2. ~(x)(Bx ∨ Dx) | / ~(x)Cx |
3. (∃x)~(Bx ∨ Dx) | 2, CQ |
4. ~(Ba ∨ Da) | 3, EI |
5. ~Ba • ~Da | 4, DM |
6. ~Ba | 5, Simp |
7. (∃x)~Bx | 6, EG |
8. (x)(Cx ⊃ Dx) | 1, 7, MP |
9. Ca ⊃ Da | 8, UI |
10. ~Da | 5, Comm, Simp |
11. ~Ca | 9, MT |
12. (∃x)~Cx | 11, EG |
13. ~(x)Cx | 12, CQ |