SOLUTION: I am preparing for my final and am stuck studying on this problem. Please help me by doing a formal proof for each line and the rule. 1. ~B&R 2. R⊃~(MvP) 3. (N⊃

Algebra ->  Proofs -> SOLUTION: I am preparing for my final and am stuck studying on this problem. Please help me by doing a formal proof for each line and the rule. 1. ~B&R 2. R⊃~(MvP) 3. (N⊃      Log On


   

Question 1010841: I am preparing for my final and am stuck studying on this problem. Please help me by doing a formal proof for each line and the rule.
1. ~B&R
2. R⊃~(MvP)
3. (N⊃S)⊃~I
4. N⊃L
5. E⊃(S≡L)
6. E /.: ~I&~M
Answer by Edwin McCravy(20064) About Me  (Show Source):
You can put this solution on YOUR website!
 1. ~B&R
 2. R⊃~(MvP)
 3. (N⊃S)⊃~I
 4. N⊃L
 5. E⊃(S≡L)
 6. E /.: ~I&~M

 7. R&~B           1, Commutation
 8. R              7, Simplification
 9. ~(MvP)         2,8, Modus Ponens
10. ~M&~P          9, DeMorgan's Law
11. ~M             10, Simplification 
12. S≡L            5,6, Modus Ponens
13. (S⊃L)&(L⊃S)   12, Material equivalence
14. L⊃S           13, Simplification
15. N⊃S           4,14, Hypothetical syllogism
16. ~I             3,15, Modus Ponens
17. ~I&~M          16,11, Conjunction

Edwin