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
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
Webster's New International English Dictionary. Новый международный словарь английского языка Webster. 2012