substitution rule
noun
: a principle in logic specifying what expressions may be substituted for one another
a substitution rule specifying that the definiendum may replace the definiens
Love words? Need even more definitions?
Merriam-Webster unabridged
Share