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