everyone. I'm running into real trouble figuring out the following sentential logic problem.
- (S v T) ⊃ (S ⊃ ~T)
- (S ⊃ ~T) ⊃ (T ⊃ K)
- S v T
What we're supposed to get: S v K
Any help that anyone might offer on how to solve this one would be much appreciated. Thank you in advance.