Question 193062
<pre>
1. (A v B) &#8594; (C • D) / A &#8594; C
----------------------------
2. A                              Assumption
3. C • D                    1,2   Modus Ponens
4. C                          3   Simplification 
5. A -> C                   2,4   Conditional Proof
</pre>