SOLUTION: 1. R v ~T 2. ~T>O 3. ~O :. R

Algebra ->  Proofs -> SOLUTION: 1. R v ~T 2. ~T>O 3. ~O :. R      Log On


   

Question 617771: 1. R v ~T
2. ~T>O
3. ~O
:. R
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
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