Question 1129466
Use Indirect Proof and the 8 Rules of Implication and the 10 Rules of
Replacement of Natural Deduction to derive the stated conclusion from the
given premises: 
<pre>
1. Sv(T•R)
2. S&#8594;T      /T
       | 3. ~T         assumption for indirect proof
       | 4. ~S        2,3 modus tollens
       | 5. T•R       1,4 disjunctive syllogism
       | 6. T          5, simplification
       | 7. T•~T      6,3,conjunction
8. T                  lines 3-7 indirect proof with contradiction in #7

Edwin</pre>