Introductory Logic |
Quiz #6
|
October
28, 2005
|
Name: ________________________ |
R. Hammack
|
Score: _________
|
1. (C ∨ ~G) ⊃ (~P • L) | |
2. (~P • C) ⊃ (C ⊃ D) | |
3. C • ~R | / D ∨ R |
4. C | 3, Simp |
5. C ∨ ~G | 4, Add |
6. ~P • L | 1, 5, MP |
7. ~P | 6, Simp |
8. ~P • C | 4, 7, Conj |
9. C ⊃ D | 8, 2, MP |
10. D | 9, 4, MP |
11. D ∨ R | 10 Add |