equal-terms-substitution (math concept)
See also
python declaration class | python inclusion class | python sample
Definition
equal-terms-substitution is the well-known and valid inference-rule:
\[\left( \boldsymbol{P}, x = y \right) \vdash \mathbf{Q}\]
Where:
\(\boldsymbol{P}\) is a formula-statement
\(x = y\) is a formula-statement of the form \(x = y\)
\(\mathbf{Q}\) is a formula-statement identical to \(\boldsymbol{P}\) except that every occurrences of \(x\) in \(\boldsymbol{P}\) are substituted with \(y\)