SOLUTION: E>R C>V ~Y>(CvE) ~Y /VvR

Algebra ->  Proofs -> SOLUTION: E>R C>V ~Y>(CvE) ~Y /VvR      Log On


   

Question 980640: E>R
C>V
~Y>(CvE)
~Y
/VvR
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
 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