SOLUTION: Using rules of implication and replacement- proof 1. M v (D · L) 2. B ⊃~(M v L) /~B Thank you!!

Algebra.Com
Question 1060029: Using rules of implication and replacement- proof
1. M v (D · L)
2. B ⊃~(M v L) /~B
Thank you!!
Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
1. M v (D · L) 
2. B ⊃ ~(M v L)    /~B 

3. M v (L · D)           1, Commutation
4. M v L                 4, Simplification
5. ~~(M v L) ⊃ ~B        2, Transposition
6. (M v L) ⊃ ~B          5, Double negation
7. ~B                    6,4, Modus ponens

Edwin


RELATED QUESTIONS

Proof using rules of implication and replacement. 1. T v S 2. ~T 3. (S v S)... (answered by Edwin McCravy)
Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)
Looking for a logical proof help using rules of implication! Thank you! 1. [(T • R) v (answered by Edwin McCravy)
Please help me answer this one natural proof CORRECTLY using the 8 rules of implication... (answered by robertb)
Use conditional proof (CP) together with the eight rules of implication and ten rules of... (answered by math_tutor2020)
Using a conditional proof: 1. (D v E) ⊃ (F · G) 2.( A v B) ⊃ (D · C) (answered by jim_thompson5910)
Can you please help me complete the following rules by adding the implication rules to... (answered by robertb)
I’m doing homework concerning the rules of replacement. We are allowed to use 8 rules of... (answered by jim_thompson5910)
Need help with these proofs using rules of implication! Thank you! 1. P v (T v R)... (answered by Edwin McCravy)