SOLUTION: 5) I can only use the 8 rules of inference. 1. C → (T → L) 2. ~L 3. ~E → C 4. L v ~E /~T ___________ __________

SOLUTION: 5) I can only use the 8 rules of inference. 1. C → (T → L) 2. ~L 3. ~E → C 4. L v ~E /~T _ _ 5. 6. 7. 8. 9.

Question 189542: 5) I can only use the 8 rules of inference.
1. C → (T → L)
2. ~L
3. ~E → C
4. L v ~E /~T
________________________
5.
6.
7.
8.
9.

Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
It helps if you know the rules by heart (ie understand what they truly mean).

1. C -> (T -> L)
2. ~L
3. ~E -> C
4. L v ~E /~T
--------------------------
5.  ~E                  4,2   Disjunctive Syllogism
6.  C                   3,5   Modus Ponens
7.  T -> L              1,6   Modus Ponens
8.  ~T                  7,2   Modus Tollens

RELATED QUESTIONS
7)I can only use the 8 Rules of Inference. Need help!!! 1. (T → C) → ~F 2.... (answered by jim_thompson5910)

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

6) I can only use the 8 rules of inference... 1. (~B � ~C) → (D → C) 2. ~B (answered by jim_thompson5910)

Can you please help me complete the following rules by adding the implication rules to... (answered by robertb)

2) I can only use the 8 Rules of Inference. I have tried and tried...it just doesn't jive (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)

Choose one of the proofs below and use one of the indirect proof techniques (reductio ad... (answered by jim_thompson5910)

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)

write a direct proof using the eight rules of inference (C → Q) � (~L →... (answered by Edwin McCravy)

SOLUTION: 5) I can only use the 8 rules of inference. 1. C &#8594; (T &#8594; L) 2. ~L 3. ~E &#8594; C 4. L v ~E /~T ___________ ___________ 5. 6. 7. 8. 9.

SOLUTION: 5) I can only use the 8 rules of inference. 1. C → (T → L) 2. ~L 3. ~E → C 4. L v ~E /~T _ _ 5. 6. 7. 8. 9.