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


*[tex \LARGE \forall x,\ P(x)\ \right\ R(x)]  Premise



*[tex \LARGE \neg R(k)] Premise



Therefore *[tex \LARGE \neg P(k)] Modus Tollens


I have no idea what DeMorgan or Universal Instantiation has to do with anything.



John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
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>