Question 617771
<pre>
1.  R v ~T
2.  ~T>O
3.  ~O
:.  R
-----------------------------------------
4.  ~~T                           2,3    Modus Tollens
5.  ~T v R                        1      Commutation
6.  R                             5,4    Disjunctive Syllogism
</pre>