SOLUTION: I can only use the rules of inference/replacement 1) R v ~T 2) ~T -> O 3) ~O ∴ R

Question 766444: I can only use the rules of inference/replacement
1) R v ~T
2) ~T -> O
3) ~O
∴ R
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

1)  R v ~T
2)  ~T -> O
3)  ~O                / R
-----------------------------------
4)  ~~T                      2,3   Modus Tollens
5)  ~T v R                   1     Commutation
6)  R                        5,4   Disjunctive Syllogism

RELATED QUESTIONS
Use the inference rules to derive the conclusion 1. T ⊃ O 2. R v ~O 3. ~R/~T (answered by Plocharczyk,Edwin McCravy)

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

1. R v ~T 2. ~T>O 3. ~O :.... (answered by jim_thompson5910)

1. T ⊃ (Q & F) 2. T & C/Q v O I am trying to solve this equation using the... (answered by math_tutor2020)

4) I can only use the 8 rules of inference. 1. ~(S v R) 2. B → (S v R) 3. B v P (answered by jim_thompson5910)

Solve the problem using rules of inference and replacement: Premise 1) Q v (R . S)... (answered by solver91311)

3) I can only use the 8 rules of inference... 1. (M v N) → ~S 2. T → (M v (answered by jim_thompson5910)

1) I can only use the 8 rules of inference... 1. P v Q 2.(Q � ~R) → S 3. R... (answered by jim_thompson5910)

Solve the following using rules of replacement: (E → T) ∧ (T → O),... (answered by jim_thompson5910)

SOLUTION: I can only use the rules of inference/replacement 1) R v ~T 2) ~T -> O 3) ~O &#8756; R

SOLUTION: I can only use the rules of inference/replacement 1) R v ~T 2) ~T -> O 3) ~O ∴ R