Substitutivity of Identicals

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The principle that if two expressions denote the same object (are identical in referent) then one may be substituted for the other salva veritate (without changing truth) in contexts where reference is transparent.