Consider the following premises. p <-> q. p -> q. Can we infer ~(q <-> p) from them?
 From p <-> q we can infer q -> p. Finally, from q -> p, p -> q we can infer q <-> p, which contradicts ~(q <-> p). Therefore, the answer is no.