SOLUTION: I can only use the rules of inference/replacement 1) R v ~T 2) ~T -> O 3) ~O ∴ R

Algebra ->  Proofs -> SOLUTION: I can only use the rules of inference/replacement 1) R v ~T 2) ~T -> O 3) ~O ∴ R      Log On


   

Question 766444: I can only use the rules of inference/replacement
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