SOLUTION: Hello there i need help with this question. using 8 rules of implication and 10 rules of replacement.Regular proof. 1.A>~B 2.BvD 3.~Dv-c 4.E>C/A>~E

Algebra.Com
Question 1045062: Hello there i need help with this question.
using 8 rules of implication and 10 rules of replacement.Regular proof.
1.A>~B
2.BvD
3.~Dv-c
4.E>C/A>~E

Answer by robertb(5830)   (Show Source): You can put this solution on YOUR website!
1. A>~B -----------------------hypothesis
2. BvD -----------------------hypothesis
3. ~B > D ---------------------material implication on #2
4. A > D -----------------------hypothetical syllogism from #1 and #3
5. ~Dv~C ---------------------hypothesis
6. D > ~C ----------------------material implication on #5
7. A > ~C ---------------------hypothetical syllogism from #4 and #6
8. E > C -----------------------hypothesis
9. ~C > ~E --------------------contrapositive of #8
10. A > ~E ---------------------hypothetical syllogism from #7 and #9

RELATED QUESTIONS

Please help me answer this one natural proof CORRECTLY using the 8 rules of implication... (answered by robertb)
Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)
Using rules of implication and replacement- proof 1. M v (D · L) 2. B ⊃~(M v... (answered by Edwin McCravy)
Use Indirect Proof and the 8 Rules of Implication and the 10 Rules of Replacement of... (answered by Edwin McCravy)
Using the logical rules of replacement and implication, I was supposed to solve this... (answered by Edwin McCravy)
Proof using rules of implication and replacement. 1. T v S 2. ~T 3. (S v S)... (answered by Edwin McCravy)
need help using rules of implication and first five rules of replacment N>~F ~(XvV)... (answered by Edwin McCravy)
how to solve this using the implication rules and replacement rules. ~(SvQ) /~P>~S (answered by Edwin McCravy)
Use conditional proof (CP) together with the eight rules of implication and ten rules of... (answered by math_tutor2020)