Consider the following premises. q_11 -> u. r -> q_11. u -> q_11. u -> r. Can we infer u <-> q_11 from them? If possible, name the inference rules being used at each step.
We can infer u <-> q_11 via the biconditional introduction rule. Therefore, the answer is yes.