Question 1058600
Can you tell me the completed formal proof?
<pre>

1. (C v D) > (E * F)
2. D v C               :. E
3. C v D            2, Commutation
4. E * F            1,3, Modus Ponens
5. E                4, Simplification 

Edwin</pre>