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.

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) (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

RELATED QUESTIONS
Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)

Prove that the two arguments below are valid, using the method of natural deduction.... (answered by Edwin McCravy)

use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by mccravyedwin,Edwin McCravy)

Please help me answer this one natural proof CORRECTLY using the 8 rules of implication... (answered by robertb)

Use indirect proof (IP) together with the eight rules of implication and ten rules of... (answered by math_tutor2020)

Please use the 18 rules of natural deduction, the 4 instantiation and generalization... (answered by Edwin McCravy,math_tutor2020)

Please use the 18 rules of natural deduction, the 4 instantiation and generalization... (answered by ElectricPavlov)

use the inference rules, replacement rules, indirect proof and/or conditional proof to... (answered by Edwin McCravy)

Premise: 1. F Conclusion: (G ⊃ H) ∨ (~G ⊃ J) Use either indirect proof or... (answered by Edwin McCravy,mccravyedwin)