SOLUTION: What would the completed formal proof be? 1. M * (L v P) 2. ~M v ~L :. M * P 3. 4.

Algebra ->  Proofs -> SOLUTION: What would the completed formal proof be? 1. M * (L v P) 2. ~M v ~L :. M * P 3. 4.      Log On


   

Question 1058597: What would the completed formal proof be?
1. M * (L v P)
2. ~M v ~L :. M * P
3.
4.
Answer by Edwin McCravy(20060) About Me  (Show Source):
You can put this solution on YOUR website!
1. M * (L v P)
2. ~M v ~L        :. M * P
3. M                1, Simplification
4. ~~M              3, Double negation
5. ~L               2,4, Disjunctive syllogism
6. (L v P) * M      1, Commutation
7. L v P            6, Simplification
8. P                7,5, Disjunctive Syllogism 
9. M * P            3,8, Conjunction

Edwin