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

Algebra.Com
Question 387959: 1.(SvT)⊃ (S⊃~T)
2.(S⊃~T) ⊃ (T⊃K)
3.SvT /SvK
Answer by jim_thompson5910(35256)   (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

RELATED QUESTIONS

how to proof the arguments: 1. T ⊃ G 2. S ⊃ G ∴ (T ∨ S)... (answered by Edwin McCravy)
Use an ordinary proof to solve 1) 1.E ⊃ (S ⊃ T) 2.(~L ⋅... (answered by richwmiller,jim_thompson5910)
Use an ordinary proof to solve 1) 1.E ⊃ (S ⊃ T) 2.(~L ⋅... (answered by richwmiller,jim_thompson5910)
Looking for a logical proof help using rules of implication! Thank you! 

1. (S  (answered by solver91311)

Proof using rules of implication and replacement. 

1. T v S

2. ~T

3. (S v S)... (answered by Edwin McCravy)

Still having issues on proofs

1.(A⊃S)⊃G
2. A⊃Q
3. G⊃B
4.... (answered by t0hierry)

∼S⊃(N⊃T)
~S∙(R⊃S)
(~M∙~N)⊃(~Ov~P)... (answered by solver91311)

Indirect proof
9. 
1) R
2) (~ C v ~ D) v S
3) ~ (C ⋅ D) ⊃ ~R		/ ∴ S
 (answered by solver91311)

COMPLETE THE FOLLOWING PROOFS WITHOUT USING CONDITIONAL PROOF OR
INDIRECT PROOF... (answered by robertb)