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

Algebra.Com
Question 1179871: 1. P (horseshoe) ~M
2. C (horseshoe) M
3. ~L v C
4. (~P (horseshoe) ~E) • (~E (horseshoe) ~C)
5. P v ~P /~L

Answer by RBryant(14)   (Show Source): You can put this solution on YOUR website!

1. P ⊃ ~M 
2. C ⊃ M 
3. ~L v C 
4. (~P ⊃ ~E) • (~E ⊃ ~C) 
5. P v ~P 			/ ∴ ~L 
---------------------------------------------
6.  ~M ⊃ ~C                2      Transposition
7.  P ⊃ ~C                 1,6    Hypothetical Syllogism
8.  ~P ⊃ ~E                4      Simplification
9.  E ⊃ P                  8      Transposition
10. (~E ⊃ ~C)• (~P ⊃ ~E)   4      Commutation
11.  ~E ⊃ ~C               10     Simplification
12.  C ⊃ E                 11     Transposition
13.  C ⊃ P                 9,12   Hypothetical Syllogism
14.  C ⊃ ~C                7,13   Hypothetical Syllogism
15.  ~C v ~C                14     Material Implication
16.  ~C                     15     Tautology
17.  ~L                     3,8    Disjunctive Syllogism 
                                                           QED


RELATED QUESTIONS

1. P ⊃ ~M 2. C ⊃ M 3. ~L v C 4. (~P ⊃ ~E) • (~E ⊃ ~C) 5. P v... (answered by Solver92311)
prove the argument is valid using the method of natural deduction: 1. (~N wedge R)... (answered by math_tutor2020)
Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by Edwin McCravy)
1. S v (U*P) 2. (SvU)>R // R > equals... (answered by jim_thompson5910)
Can You please help me solve these proofs? The first statement I'm using the horseshoe... (answered by Edwin McCravy)
Construct a proof using any basic rules and replacement rules. 1.(A v F) horseshoe ~(B • (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)
Parick Hurley edition 11 Logic I, using first 13 rules of implication and replacement (answered by jim_thompson5910)
I. Use an ordinary proof (not conditional or indirect) to solve the following arguments. (answered by CPhill)