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.Com
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)   (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
RELATED QUESTIONS

Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)
Complete the following proofs, choosing from among the first four Rules of Implication: (answered by AnlytcPhil)
Solve the following by using only the 18 rules of implication and replacement to get:... (answered by Edwin McCravy)
how to solve this using the implication rules and replacement rules. ~(SvQ) /~P>~S (answered by Edwin McCravy)
Prove that the two arguments below are valid, using the method of natural deduction.... (answered by Edwin McCravy)
Use conditional proof (CP) together with the eight rules of implication and ten rules of... (answered by math_tutor2020)
Using rules of implication, need help with the proofs! 
1. T -> (P v Q)
2. S v... (answered by solver91311)

Using the logical rules of replacement and implication, I was supposed to solve this... (answered by Edwin McCravy)

Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)