SOLUTION: AvB C>A (B.~C)>(D.~C) ~A C:D

Question 682997: AvB
C>A
(B.~C)>(D.~C)
~A
C:D
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
There's a problem.

If C -> A and C is true, then we know A is true. But we're given ~A is true as well, which is a contradiction.
RELATED QUESTIONS
(AvB) v C, ~C, ~A, B�>D |-... (answered by Edwin McCravy)

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)

1. (AvB) ⊃ C 
2. (CvD) ⊃ (EvF) 
3. A●~E             / F... (answered by Edwin McCravy)
Help me solve the following using an indirect proof. I am including what I have so far.... (answered by jim_thompson5910)
(1/c+1/d) / (c/d-d/c)
A)1/c-d
B)1/c+d
C)c+d... (answered by al_prac)
a/b=c/d, for... (answered by jim_thompson5910)
A/B=(C+D)/D (answered by Alan3354)
A=B+C/D solve for... (answered by josgarithmetic)