Extended data:
Definition of equivalent substitution: substituting one quantity (or part of another quantity) for another quantity (or part of another quantity) equal to it. "Equivalent substitution" means that a quantity is replaced by an equivalent quantity. It is a basic thinking method in mathematics and the basis of algebraic thinking method. The real equivalent substitution is:? F(a=b∧f(a)→f(b)), where f is the generalized equivalent substitution of the formula.