SOLUTION: 1.(SvT)⊃ (S⊃~T) 2.(S⊃~T) ⊃ (T⊃K) 3.SvT /SvK

Algebra ->  Proofs -> SOLUTION: 1.(SvT)⊃ (S⊃~T) 2.(S⊃~T) ⊃ (T⊃K) 3.SvT /SvK      Log On


   

Question 387959: 1.(SvT)⊃ (S⊃~T)
2.(S⊃~T) ⊃ (T⊃K)
3.SvT /SvK
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
1.  (S v T) ⊃ (S ⊃ ~T)
2.  (S ⊃ ~T) ⊃ (T ⊃ K)
3.  S v T                              /S v K
-------------------------------------
4.  S ⊃ ~T                     1,3  Modus Ponens
5.  T ⊃ K                      2,4  Modus Ponens
6.  ~~S v T                3    Double Negation
7.  ~S ⊃ T                     6    Material Implication
8.  ~S ⊃ K               7,5  Hypothetical Syllogism
9.  ~~S v K                8    Material Implication
10. S v K                  9    Double Negation