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