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

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

1. (O+M)>S 2. ~S /~M Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)
1. J+(K.L) 2. ~K /J Use the eighteen inference rules to construct proofs for the... (answered by Edwin McCravy)
1. ~(~E.~N)>T 2. G>(N+E) /G>T Use the eighteen inference rules to construct proofs... (answered by Edwin McCravy)
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)
Construct proofs for the following using the basic rules of inference. a. C ⊃ (∼A... (answered by Solver92311)
6) I can only use the 8 rules of inference... 1. (~B • ~C) → (D → C) 2. ~B (answered by jim_thompson5910)
Use the first eight implication rules to create a proof of the following argument. 1. B... (answered by Edwin McCravy)
Construct proofs to show the following are valid: 1. ~E 2. F->(DvE) 3. ~D (answered by Edwin McCravy)
Construct proofs using the Rules of Inference and the Rules of Replacement. The... (answered by jim_thompson5910)