SOLUTION: 1. T ⊃ O 2. R v ~O 3. ~R/~T 4. ~T DS 2,3 I think I completed this correctly but I may be missing a step

Algebra ->  Proofs -> SOLUTION: 1. T ⊃ O 2. R v ~O 3. ~R/~T 4. ~T DS 2,3 I think I completed this correctly but I may be missing a step      Log On


   

Question 1171842: 1. T ⊃ O
2. R v ~O
3. ~R/~T
4. ~T DS 2,3
I think I completed this correctly but I may be missing a step
Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
No, 4 should be ~O by disjunctive syllogism, and then ~T by 1 and 4 and Modus Tollens.

1. T ⊃ O
2. R v ~O
3. ~R           /~T

4. ~O       2,3   Disjunctive syllogism
5. ~T       1,4   Modus Tollens 

Edwin