2
$\begingroup$

Is there a technical difference between "substitution" and "replacement"?

For example, if I use another expression for x, am I replacing for it? Or substituting? What is I use another value of x?

  • 1
    The rules of inference of first-order equational logic are the following (combined with the rules that equality is an equivalence relation). $\rm A = B\ \Rightarrow\ P(A) = P(B)\qquad\qquad (Replacement)$ $\rm P(X) = Q(X)\ \Rightarrow\ P(A) = Q(A)\quad (Substitution)$2012-08-11

0 Answers 0