SOLUTION: 1. P ⊃ ~M 2. C ⊃ M 3. ~L v C 4. (~P ⊃ ~E) • (~E ⊃ ~C) 5. P v ~P /~L

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 > Ø

RELATED QUESTIONS
1. P (horseshoe) ~M 2. C (horseshoe) M 3. ~L v C 4. (~P (horseshoe) ~E) • (~E... (answered by RBryant)

Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by Edwin McCravy)

1. P->~M 2. C->M 3. ~LvC 4. (~P->~E)&(~E->~C) 5. Pv~P /~L (answered by Edwin McCravy)

I. Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by CPhill)

P l e a s e h e l p m e s o l v e t h i s f i n d t h e c a p a c i t y i n l i... (answered by rothauserc)

What is the ordinary proof to solve the following argument? P ⊃ ~M C ⊃ M ~L v C... (answered by Edwin McCravy)

What would the completed formal proof be? 1. M * (L v P) 2. ~M v ~L :. M * P 3.... (answered by Edwin McCravy)

Prove the following three arguments to be valid using the method of Natural Deduction A. (answered by solver91311)

55. 1. (L ≡ N) ⊃ C 2. (L ≡ N) v (P ⊃ ~E) 3. ~E ⊃ C 4. ~C /~P 56. (answered by math_tutor2020)