SOLUTION: Premise: (A & B) v C Conclusion: C v B

Question 225178: Premise: (A & B) v C
Conclusion: C v B
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1. (A & B) v C /      C v B
------------------
2. C v (A & B)             1   Commutation
3. (C v A) & (C v B)       2   Distribution
4. (C v B) & (C v A)       3   Commutation
5. C v B                   4   Simplification

RELATED QUESTIONS
how can you prove the conclusion A v ~~B from the premise A v B? (answered by Fombitz)

1. (A v B) > ~C 2. C v D 3. A Conclusion: D (answered by jim_thompson5910)

Can you please assist me with these problems? We are using the Rules of Inference and the (answered by jim_thompson5910)

Premise 1: D⊃ [D⊃ (B & ~Q)] Premise 2: (~Q & B)⊃ C Conclusion:... (answered by jim_thompson5910)

Give a proof of the following argument: 1 (1) A --> (B & ~K) Premise 2 (2) (B (answered by jim_thompson5910)

Use conditional proof to derive the conclusion of the following argument. a) (N v D) (answered by jim_thompson5910)

Please help me solve this using indirect proofs! (I can't get it go anywhere it seems!)... (answered by jim_thompson5910)

Premise: ~(A->(B&C)) Conclusion: ~(A<->(B&C)) I've tried to Provisionally assume... (answered by jim_thompson5910,Edwin McCravy)

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)