Introductory Logic |
Quiz #11
|
December 9, 2005
|
|
||
Name______________________ |
R. Hammack
|
Score _________
|
1. (∃x)(Ax ∨ Bx) ⊃ ~ (∃x)Ax | / (x)~Ax | |
|2. ~(x)~Ax | AIP | |
|3. (∃x)~~Ax | 2, CQ | |
|4. (∃x)Ax | 3, DN | |
|5. ~~(∃x)Ax | 4, DN | |
|6. ~(∃x)(Ax ∨ Bx) | 1, 5, MT | |
|7. (x)~(Ax ∨ Bx) | 6, CQ | |
|8. Am | 4, EI | |
|9. ~(Am ∨ Bm) | 8, UI | |
|10. ~Am • Bm | 9, DM | |
|11. ~Am | 10, Simmp | |
|12. ~Am • Am | 8, 11 Conj | |
13 (x)~Ax | 2-12, IP |
1. (∃x)(Ax • Bx) | |
2. (x)(Cx ⊃ Ax) | / (∃x)(Cx • Bx) |
Aa
|
•
|
Ba |
/
|
Ca
|
⊃
|
Aa |
//
|
Ca
|
•
|
Ba | |||||||||
T
|
T
|
T |
F
|
T
|
T |
F
|
F
|
T |