"substitution formula" is correct and usable in written English.
You can use it when you want to express a process where something is replaced with something else. For example, "Using the substitution formula, we replaced all of the unknown variables with their respective values."
The principles for assertion are as usual, while those for rejection are: $\dashv$ Substitution: Any formula which has a rejected substitution instance is rejected.
The unthinking substitution of formula for breast milk is virtually as if, during the past century, we had decided to swap out the blood supply in our bodies, to replace it with an artificial blood substitute -- and then demanded that the people who support real blood prove that it really worked better than the manufactured alternate.
The aetiology of sporadic cases of ICT in Germany, implicated the absence or short duration of breast feeding and the substitution of formula milk made with water at pH < 6.5 contaminated with copper 3 26 mg/L (WHO requirements <2 mg/L)[ 4].
The system, following Frege, is based on implication $C $$ and negation $N $$ alone, with the elegant axiom set and three rules of inference: modus ponens, a rule of uniform substitution of formulas for propositional variables, and a rule of definitional replacement.
CL untangles the problem of substitution, because formulas can be prepared for the elimination of bound variables by inserting combinators.
The flowrate calculation for neighbor sources in the Enhanced NNA is simplified requiring mere substitution in formulae rather than the earlier simultaneous solution of flow and load balance equations.
For a taste of what they can do, notice that they yield a succinct justification of a rule of Uniform Substitution, whereby a formula of the form $A(B/p)$ is a theorem whenever $A$ is a theorem, provided that $B$ is free for $p$ in $A$.
It turned from the study of substitutions in formulas and of functions invariant under such substitutions into the study of field extensions and corresponding automorphisms (Stein 1988, earlier Mehrtens 1979b).
The substitution in this formula was carried out with the following values: N = 80, se = 0.05, and p = 0.3.
