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:
1. Sv(T•R)
2. S→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