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.

Algebra ->  Proofs -> 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.       Log On


   

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