SOLUTION: 1. P->~M 2. C->M 3. ~LvC 4. (~P->~E)&(~E->~C) 5. Pv~P /~L

Algebra ->  Proofs -> SOLUTION: 1. P->~M 2. C->M 3. ~LvC 4. (~P->~E)&(~E->~C) 5. Pv~P /~L       Log On


   

Question 1131282: 1. P->~M
2. C->M
3. ~LvC
4. (~P->~E)&(~E->~C)
5. Pv~P /~L
Answer by Edwin McCravy(20060) About Me  (Show Source):
You can put this solution on YOUR website!
1.  P->~M
2.  C->M
3.  ~LvC
4.  (~P->~E)&(~E->~C)
5.  Pv~P               /~L

        |6.  ~~L                   AIP
        |7.  C                   3,6  DS 
        |8.  M                   2,7  MP
        |9.  ~~M                   8  DN  
        |10. ~P                  1,9  MT
        |11. ~P->~E                4  simp.  
        |12. ~E                11,10  MP
        |13. (~E->~C)&(~P->~E)     4  comm. 
        |14. ~E->~C               13  simp.
        |15. ~C                14,12  MP            
        |16. Cv~L                  3  comm.
        |17. ~L                16,15  DS
        |18. ~L&~~L             17,6  conj.  (contradiction)

19. ~L         lines 6-18 IP

Edwin