Example. — The ‘_ lives in _’ operator is referentially transparent: She lives in London. Indeed, the second position is purely referential in the assertion because substituting The capital of the United Kingdom for London does not change the value of the assertion. The first position is also purely referential for the same substitutivity reason.
Example. — The ‘_ lives in _’ operator is referentially transparent: She lives in L.ondon. Indeed the second position is purely referential in the assertion because substituting The capital of the United Kingdom for London does not change the value of the assertion The first po,sition is also purely referential for the same substitut.ivity reason