1954 I. M. Copi iii. 44 The list contains all those logical equivalences which are certified as intersubstitutable.
1957 P. Geach 101 In an ‘extensional’ logic..predicates or relative terms would be freely intersubstitutable provided that they held good of the same objects.