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

<pre>
 1.  (P v Q) & R
 2.  R & P -> S
 3.  Q & R -> S        |  S

 4.  P v Q                1  Conjunction Elimination
 5.  R                    1  Conjunction Elimination
|   6.  P                    ACP, Case 1
|   7.  R & P             5, 6 Conjunction Addition
|   8.  S                 7, 2 Modus Ponens
|   9.  Q                    ACP, Case 2
|  10.  Q & R             9, 6 Conjunction Addition
|  11.  S                10, 3 Modus Ponens
12.     S                 8, 11  Exhaustive cases

</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>