SOLUTION: please use all 18 rules of natural deduction to derive the conclusion (/), thanks. 1. T ⊃ R 2. T ⊃ ~R / ~T
Algebra
->
Proofs
-> SOLUTION: please use all 18 rules of natural deduction to derive the conclusion (/), thanks. 1. T ⊃ R 2. T ⊃ ~R / ~T
Log On
Logic: Proofs
Logic
Solvers
Solvers
Lessons
Lessons
Answers archive
Answers
Click here to see ALL problems on Proofs
Question 1207022
:
please use all 18 rules of natural deduction to derive the conclusion (/), thanks.
1. T ⊃ R
2. T ⊃ ~R / ~T
Answer by
math_tutor2020(3817)
(
Show Source
):
You can
put this solution on YOUR website!
I'll use an arrow symbol in place of the horseshoe symbol.
Number
Statement
Line(s) Used
Reason
1
T --> R
2
T --> ~R
:.
~T
3
~~R --> ~T
1
Transposition
4
R --> ~T
3
Double Negation
5
T --> ~T
1, 4
Hypothetical Syllogism
6
~T v ~T
5
Material Implication
7
~T
6
Tautology
The Rules of Inference and Rules of Replacement are shown
here