# Math Help - A simple SD Logic problem that is giving me fits

1. ## A simple SD Logic problem that is giving me fits

I need to derive D from the following. Any help would be greatly appreciated

Premise 1: A & B
Premise 2: C -> D
Premise 3" C v ~A

2. $\begin{gathered}
C \vee \neg A \equiv A\, \Rightarrow \,C \hfill \\
A \wedge B\, \Rightarrow \,A \hfill \\
A \wedge \left( {A\, \Rightarrow \,C} \right)\, \Rightarrow \,C \hfill \\
C \wedge \left( {C\, \Rightarrow \,D} \right)\, \Rightarrow \,D \hfill \\
\end{gathered}$

You can fill in details and reasons.