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

Assume P, then ~M by 1, Modus Ponens, then ~C by 2, Modus Tolens, then ~L by 3, Disjunctive Syllogism.

Assume ~P, ~P -> ~E by 4, Simplification, then ~E by Modus Ponens, then ~E -> ~C by 4 Simplification, then ~C by Modus Ponens, then ~L by Disjunctive Syllogism.
																
John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it
*[illustration darwinfish.jpg]

From <https://www.algebra.com/cgi-bin/upload-illustration.mpl> 
I > Ø
*[tex \Large \ \
*[tex \LARGE \ \ \ \ \ \ \ \ \ \  
								
{{n}\choose{r}}
</font>