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