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.



 

RELATED QUESTIONS

Construct a proof in Natural Deduction for the following argument.  Show the proof.  Do... (answered by jim_thompson5910)

Use an ordinary proof (not conditional or indirect proof):
1.
G ⊃ (H ⊃ K) 
 
2.... (answered by Edwin McCravy)

I need help finishing this proof.
(~K -> K) -> ~L, ~(~L -> ~M) -> L, M :. K <-> ~L

1.  (answered by jim_thompson5910)

solve for k in k/k+1=3/k^2-k-2
a. k=3
b/ k=-1 and k=2
c. k=-1 and k=3
d. k=-1

can... (answered by richwmiller)

Use an ordinary proof (not conditional or indirect proof):
 
1.	K∨(S • N)	 
2.... (answered by Edwin McCravy,jim_thompson5910)

Using an ordinary proof (not a conditional or indirect proof) 
1. S ⊃ (K ⋅... (answered by richwmiller)

Please help with this logic proof:

1. E v T
2. T -> (B * H)
3. (B v E) -> K           (answered by jim_thompson5910)

Can someone please help me with this proof using the 18 rules of inference?
> is a... (answered by jim_thompson5910)

I have started the following proof but am not sure how to finish. thanks!
1. G>(H>K)
2.  (answered by jim_thompson5910)