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