Symbolic logic replacement rule?

The rule 'preserves' truth, in the sense that you cannot move from a true statement to a false statement by using that rule. In other words, it just means that it's a valid rule of inference.