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

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

Answer by Edwin McCravy(20060) (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

RELATED QUESTIONS
1. P ⊃ ~M 2. C ⊃ M 3. ~L v C 4. (~P ⊃ ~E) • (~E ⊃ ~C) 5. P v... (answered by Solver92311)

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)

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)

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

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

a b c d e f g h i j k l m n o p q r (answered by ewatrrr)

a. m = 1/3, m = 3/9 - Parallel b. m = -5/3 , m = -2 - Neither parallel nor... (answered by Fombitz,Alan3354)

1. (P v F) -> (A v D) 2. A -> (M ^ ~P) 3. D -> (C ^ ~P) /... (answered by Edwin McCravy)