Consider the following premises. w or ~u. p_8 -> u. w <-> p_8. Can we infer w -> p_8 from them?
 From w or ~u we can infer u -> w. From p_8 -> u, u -> w we can infer p_8 -> w. Finally, from w <-> p_8 we can infer w -> p_8. Therefore, the answer is yes.