substitutivity

(logic, philosophy) the principle that expressions with the same reference can be substituted for one another without affecting the truth-value of any context in which they occur See also transparent context, opaque context