Question 1179975: 1. P ⊃ ~M
2. C ⊃ M
3. ~L v C
4. (~P ⊃ ~E) • (~E ⊃ ~C)
5. P v ~P /~L
Answer by Solver92311(821)   (Show Source):
You can put this solution on YOUR website!
Assume P, then ~M by 1, Modus Ponens, then ~C by 2, Modus Tolens, then ~L by 3, Disjunctive Syllogism.
Assume ~P, ~P -> ~E by 4, Simplification, then ~E by Modus Ponens, then ~E -> ~C by 4 Simplification, then ~C by Modus Ponens, then ~L by Disjunctive Syllogism.
John
My calculator said it, I believe it, that settles it
From
I > Ø
|
|
|
