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

1. T -> (P v Q)
2. S v ~(P v Q)
3. ~S            |  ~T
4. ~(P v Q)      2,3  Disjunctive Syllogism
5. :.  ~T        4,1  Modus Tollens

</pre>
John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it
<img src="http://c0rk.blogs.com/gr0undzer0/darwin-fish.jpg">
*[tex \Large \ \
*[tex \LARGE \ \ \ \ \ \ \ \ \ \  

</font>