Biconditional Elimination is a rule of inference that allows us to deduce an implication and its inverse from a biconditional.