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

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


   

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(20054) About Me  (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