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

<pre>


(1)  *[tex \LARGE I\ \to\ \ \ S]  :  Given

(2)  *[tex \LARGE D\ \to\ \neg\ S]  : Given

(3)  *[tex \LARGE S\ \small\vee\LARGE\ \neg S]  :  Law of Excluded Middle

(4)  *[tex \LARGE S\ \to\ \neg\ D]   :  (2) Modus Tolens

(5)  *[tex \LARGE \neg\ S\ \to\ \neg\ I]  : (2) Modus Tolens

(6)  *[tex \LARGE \neg\ D\ \small\vee\LARGE\ \neg\ I] : (3) *[tex \LARGE \to] (4) or (5)


</pre>
John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
<font face="Math1" size="+2">Egw to Beta kai to Sigma</font>
My calculator said it, I believe it, that settles it
<div style="text-align:center"><a href="http://outcampaign.org/" target="_blank"><img src="http://cdn.cloudfiles.mosso.com/c116811/scarlet_A.png" border="0" alt="The Out Campaign: Scarlet Letter of Atheism" width="143" height="122" /></a></div>
</font>