You can
put this solution on YOUR website! How did you start it? I don't see any work. Post what you've tried and I'll gladly help where I can.
===
Yes... this is the start
1. (B ⊃ ∼M) ⊃ (T ⊃ ∼S) Premise
2. B ⊃ K Premise
3. K ⊃ ∼M Premise
4. ∼S ⊃ N Premise
// Show T ⊃ N by conditional proof
Leaving town, not likely to be able to log on until 6/1.
Here are the first few lines for you (I like to use :: for conditional proof lines):
5.:: B Conditional Proof (CP) assumption #1
6.:: K 5,2 Modus Ponens (MP)
7.:: ~M 6,3 MP
8.:: B ⊃ ~M 5-7 CP
9.::
Continue from step 9. Step 9 is an important conclusion from line 8 and line 1. On step 10 you will need to make a 2nd CP assumption of T and show that it leads to N true (which will prove T ⊃ N).
If all this looks foreign to you, you should talk to your instructor to get extra help.
