Solution to 5.

 

1.~k->~m

2.~m->l

3.k->~l      /.:k<->m

 

 k  l  m  ~k  ~l  ~m  ~k->~m  ~m->l  k->~l  k<->m
 T  T  T  F  F  F  T  T  F  T
 T  T  F  F  F  T  T  T  F  F
 T  F  T  F  T  F  T  T  T  T
 T  F  F  F  T  T  T  F  T  F
 F  T  T  T  F  F  F  T  T  F
 F  T  F  T  F  T  T  T  T  T
 F  F  T  T  T  F  F  T  T  F
 F  F  F  T  T  T  T  F  T  T

 

The argument is valid, since there is no row in which all the premises are T and the conclusion is F.