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