SOLUTION: 1. R>~B 2. D+R 3. B /D Use the eighteen inference rules to construct proofs for the following valid argument

Algebra ->  Proofs -> SOLUTION: 1. R>~B 2. D+R 3. B /D Use the eighteen inference rules to construct proofs for the following valid argument      Log On


   

Question 973426: 1. R>~B
2. D+R
3. B /D
Use the eighteen inference rules to construct proofs for the following valid argument
Answer by Edwin McCravy(20064) About Me  (Show Source):
You can put this solution on YOUR website!
1. R>~B
2. D+R
3. B    /D

4. ~~B>~R     1, Contrapositive
5. B>~R       4, Double Negation
6. ~R       5,3, Modus Ponens
7. D        2,6, Disjunctive Syllogism

Edwin