SOLUTION: Use natural deduction to derive the conclusion of the following arguments. Do not use conditional proof or indirect proof. 1. R v ~S 2. ~R v T 3. T ⊃ (S • U) / S ≡

Algebra ->  Proofs -> SOLUTION: Use natural deduction to derive the conclusion of the following arguments. Do not use conditional proof or indirect proof. 1. R v ~S 2. ~R v T 3. T ⊃ (S • U) / S ≡      Log On


   

Question 1119185: Use natural deduction to derive the conclusion of the following arguments. Do not use conditional proof or indirect proof.
1. R v ~S
2. ~R v T
3. T ⊃ (S • U) / S ≡ T
Answer by math_helper(2461) About Me  (Show Source):
You can put this solution on YOUR website!


1. R v ~S                      Premise

2. ~R v T                      Premise

3. T —> (S • U)                Premise

4. R—>T                        2, Relation of Implication (IMPL)

5. ~S v R                      1, Commutative property (COMM)

6. S—>R                        5, IMPL

7.  S—>T                       6,4, Rule of Syllogism (SYL)

8.  T—>S                       3, AND elimination

9.  S <—> T                    7,8  BiConditional introduction (BI).    Done.