Question 980640
<pre>
 1.  E>R
 2.  C>V
 3.  ~Y>(CvE)
 4.  ~Y
                 /VvR

 5. CvE           3,4, Modus Ponens
 6. VvR         2,1,6, Constructive Dilemma

Edwin</pre>