SOLUTION: 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.

Algebra ->  Proofs -> SOLUTION: 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.      Log On


   

Question 1129466: 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
Answer by Edwin McCravy(20060) About Me  (Show Source):
You can put this solution on YOUR website!
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