Introductory Logic |
Quiz #6
|
April
12, 2006
|
Name: ________________________ |
R. Hammack
|
Score: _________
|
1. (B ⊃ G) • (K ⊃ N) | |
2. ~(G • N) | / ~(B • K) |
3. (~G ⊃ ~B) • (~N ⊃ ~K) | 1, Trans, Trans |
4. ~G ∨ ~N | 2, DM |
5. ~B ∨ ~K | 3, 4, CD |
6. ~(B • K) | 5, DM |
1. A ⊃ G | |
2. A ∨ G | / G |
3. ~~A ∨ G | 2, DN |
4. ~A ⊃ G | 3, Impl |
5. ~G ⊃ ~A | 1, Trans |
6. ~G ⊃ G | 5, 4, HS |
7. ~~G ∨ G | 6, Impl |
8. G ∨ G | 7, DN |
9. G | 8, Taut |