substitution rule
nounDefinition of substitution rule
: a principle in logic specifying what expressions may be substituted for one another
a substitution rule specifying that the definiendum may replace the definiens