SOLUTION: (AvB) v C, ~C, ~A, B—>D |- D

Algebra ->  Proofs -> SOLUTION: (AvB) v C, ~C, ~A, B—>D |- D      Log On


   

Question 1104588: (AvB) v C, ~C, ~A, B—>D |- D
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
1.  (AvB) v C,
2.  ~C, 
3.  ~A, 
4.  B—>D     / D

5.  C v (AvB)       1, comm
6.  AvB           5,2, DS
7.  B             6,3, DS
8.  D             4,7, MP

Edwin