Question 979812: Doing logic problems and I got this one and I just blanked.
1. ~X > C
2. ~J > [(~Q >C) > (~J>~C)]
3. ~Q > ~X
4. ~J
Conclusion: ~~Q
The 2nd line is confusing me on where to go...
Answer by jim_thompson5910(35256)   (Show Source):
You can put this solution on YOUR website!
| Number | Statement | Lines Used | Reason |
|---|
| 1. | ~X > C | | | | 2. | ~J > [(~Q > C) > (~J > ~C)] | | | | 3. | ~Q > ~X | | | | 4. | ~J | | | | :. | ~~Q | | | | 5. | (~Q > C) > (~J > ~C) | 2,4 | Modus Ponens | | 6. | ~Q > C | 3,1 | Hypothetical Syllogism | | 7. | ~J > ~C | 5,6 | Modus Ponens | | 8. | ~C | 7,4 | Modus Ponens | | 9. | ~~X | 1,8 | Modus Tollens | | 10. | ~~Q | 3,9 | Modus Tollens |
|
|
|
