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

Algebra ->  Proofs -> SOLUTION: AvB C>A (B.~C)>(D.~C) ~A C:D      Log On


   

Question 682997: AvB
C>A
(B.~C)>(D.~C)
~A
C:D
Answer by jim_thompson5910(35256) About Me  (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.