Introductory Logic |
Quiz #5
|
April
7, 2006
|
Name: ________________________ |
R. Hammack
|
Score: _________
|
1. (~S • M) ⊃ K | |
2. S ⊃ L | |
3. A ∨ ~L | |
4. (M ∨ B) ⊃ ~A | |
5. M • X | / K |
6. M | 5, Simp |
7. M ∨ B | 6, Add |
8. ~A | 4, 7, MP |
9. ~L | 3, 8, DS |
10. ~S | 2, 9, MT |
11. ~S • M | 6, 10 Conj |
12. K | 1, 11, MP |