SOLUTION: Please help me with this proof! thank you in advance. A -> (C \/ B) ~(D \/ C) ~(E \/ B) ∴ ~A

Algebra.Com
Question 1099348: Please help me with this proof! thank you in advance.
A -> (C \/ B)
~(D \/ C)
~(E \/ B)
∴ ~A

Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!

1.  A -> (C V B)
2.  ~(D V C)
3.  ~(E V B)      /∴ ~A 

               | 4. ~~A            AIP 
               | 5.  A           4, DN
               | 6. C V B        1,5, MP        
               | 7. ~D & ~C      2, DM
               | 8. ~E & ~B      3, DM
               | 9. ~B & ~E      8, comm.
               |10. ~B           9, simp.
               |11. B V C        6, comm.
               |12. C           11,10, DS
               |13. ~C & ~D      7, comm.
               |14. ~C          13, simp.
               |15. C & ~C      12,14 conj
16. ~A                           4-15 IP

Edwin

RELATED QUESTIONS

Could you please help me with this problem? A → B, A ⋁ C, B → D, ¬C ⊢ E ⋁ D (answered by math_helper)
Please help me solve this. Thank You In Advance (a-b+c-d)(a+b-c-d) (answered by MathLover1,greenestamps)
Please help with this proof. Thank You C→(D→H) D∙~H HvT ∴... (answered by jim_thompson5910)
Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)
Can you please help me solve this proof? I am stuck at line six. 1. (A → E)... (answered by jim_thompson5910)
I need help solving this proof, please help! Premises: 1. A ⊃ (B⊃C) 2. A & (answered by Edwin McCravy)
Please help me on this. This is confusing (it's solution) {{{(a+b+c+d+e)^3}}} Thanks In... (answered by KMST)
how do you complete this proof? A v (B C) 2. ~ A D ∴ B (answered by jim_thompson5910)
Please help me solve this proof! Premises: 1. (A⊃B)&(C⊃D) 2.... (answered by Edwin McCravy)