SOLUTION: Solve the given proof for D. Include the rule from which each step was derived. Given: A → ~B ~(C^~A) B ~C→D Prove: D

Algebra ->  Proofs -> SOLUTION: Solve the given proof for D. Include the rule from which each step was derived. Given: A → ~B ~(C^~A) B ~C→D Prove: D       Log On


   

Question 199701: Solve the given proof for D. Include the rule from which each step was derived.
Given: A → ~B
~(C^~A)
B
~C→D
Prove: D
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.   A -> ~B
2.   ~(C ^ ~A)
3.   B
4.   ~C -> D              :. D
----------------------------------
5.   ~~B                          3      Double Negation
6.   ~A                         1,5      Modus Tollens
7.   ~C v ~~A                     2      Distribution
8.   ~C v A                       7      Double Negation
9.   C -> A                       8      Material Implication
10.  ~C                         9,6      Modus Tollens
11.  D                         4,10      Modus Ponens