SOLUTION: Using the rules of implication and replacement, the proofs for the following problems. justifications for each step 1. Mv(D·L) 2. B⊃~(MvL) /~B

Algebra ->  Proofs -> SOLUTION: Using the rules of implication and replacement, the proofs for the following problems. justifications for each step 1. Mv(D·L) 2. B⊃~(MvL) /~B      Log On


   

Question 1076080: Using the rules of implication and replacement, the proofs for the following problems. justifications for each step
1. Mv(D·L)
2. B⊃~(MvL) /~B
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!

1. Mv(D∙L) 
2. B⊃~(MvL )     /~B

3. (MvD)∙(MvL)     1, Distribution
4. (MvL)∙(MvD)     3, Commutation
5. MvL             4, Simplification
6. ~~(MvL)         5, Double negation
7. ~B              2,6, Modus tollens

Edwin