SOLUTION: Given: A->~B ~(C^~A) B ~C-> D Prove:D

Algebra ->  Proofs -> SOLUTION: Given: A->~B ~(C^~A) B ~C-> D Prove:D       Log On


   

Question 1168996: Given: A->~B
~(C^~A)
B
~C-> D
Prove:D
Answer by Solver92311(821) 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.  ~A             1,3, Modus Tollens
6.  ~C V A         2,   DeMorgan
7.  ~C             5,6, Disjunctive Syllogism
8.  ⸫ D            4,7, Modus Ponens


John

My calculator said it, I believe it, that settles it


I > Ø