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