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

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


   

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