Question 980828
<font face="Times New Roman" size="+2">


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
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it

*[tex \Large \ \
*[tex \LARGE \ \ \ \ \ \ \ \ \ \