SOLUTION: Stuck on how to start it please help E>R C>V ~Y>(CvE) ~Y /VvR

Algebra ->  Proofs -> SOLUTION: Stuck on how to start it please help E>R C>V ~Y>(CvE) ~Y /VvR      Log On


   

Question 980828: Stuck on how to start it please help
E>R
C>V
~Y>(CvE)
~Y
/VvR
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


C v E from ~Y and ~Y -> (C v E) by Modus Ponens

Assume ~C

E from ~C and C v E by Disjunctive Syllogism

R from E and E -> R by Modus Ponens

V v R from R by Disjunction Introduction

Assume C

V from C and C -> V by Modus Ponens

V v R by Disjunction Introduction

John

My calculator said it, I believe it, that settles it