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