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

Algebra.Com
Question 1104588: (AvB) v C, ~C, ~A, B—>D |- D
Answer by Edwin McCravy(20054)   (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
RELATED QUESTIONS

AvB C>A (B.~C)>(D.~C) ~A... (answered by jim_thompson5910)
Solve the proof: 1. (AvB)->D 2. D-> (c->E) 3. A&C :. E (answered by jim_thompson5910)
Can you please help me solve the following proof? 1.D>(A*G) 2.(AvB)> [(C>Q)*D] //... (answered by jim_thompson5910)
I need help deriving the conclusion (using CONDITIONAL proof). You can use all 18 rules. (answered by jim_thompson5910)
n(B)=20, n(A^B)=5, n(AvB)=30 find... (answered by jim_thompson5910)
I need help finishing this proof. A v (~B v ~C), A -> (D -> E), ~(~B v ~D) :. C -> (D -> (answered by jim_thompson5910)
1. A -> (B -> C) 2. A -> B 3. ~ C ->(A V D) / C V... (answered by Edwin McCravy)
1) A v B 2) B > (A v D) 3) ~D Conclusion:... (answered by math_helper)
If vector x is denoted by V(x), If v(d)=p(V(a)XV(b))+q(V(b)XV(c))+r(V(c)XV(a)) and... (answered by venugopalramana)