Question 1031400
<font face="Times New Roman" size="+2">
<pre>
I use    to mean
 &         and
 V         or
 ->        material implication, aka "if...then"
 ~         not

====================================================================

 1    ~S -> (N -> T)
 2    ~S  & (R -> S)
 3    (~M & ~N) -> (~O V ~P)
 4    (Q V ~R)  -> ~M
 5    (~R & ~S) -> (~~O & ~T)       |  ~P
 -------------------------------------------------------------------
 6    ~S                            2.      Conjunction Elimination
 7     R -> S                       2.      Conjunction Elimination
 8    ~R                            6, 7.   Modus Tollens
 9    ~R & ~S                       6, 8.   Conjuction Introduction
10    ~~O & ~T                      5, 9.   Modus Ponens
11    ~~O                           10.     Conjunction Elimination
12     N -> T                       1, 6.   Modus Ponens
13    ~T                            10.     Conjunction Elimination
14    ~N                            12, 13. Modus Tollens
15    Q V ~R                        8,      Disjunction Introduction
16    ~M                            4, 15.  Modus Ponens
17    ~M & ~N                       14, 15. Conjunction Introduction
18    ~O V ~P                       3, 17.  Modus Ponens
---------------------------------------------------------------------
19    :. ~P                         11, 18. Disjunctive Syllogism

</pre>
John
*[tex \LARGE e^{i\pi}\ +\ 1\ =\ 0]
My calculator said it, I believe it, that settles it

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

</font>