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 ->  Proofs -> 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      Log On


   



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