Answer:
1. in logic, the principle that where X is known to be identical to Y, any statement about X (or Y) will have the same meaning and truth value as the same statement about Y (or X).