Definition:Substitution

Definition

Substitution is a word that denotes the process of replacement of a term in an expression or equation with another which has the same value.

Disambiguation

This page lists articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended article.

Substitution may refer to:

• Set Theory:
  • Definition:Substitution (Set Theory)

• Formal Systems:
  • Definition:Substitution (Formal Systems)
    • Definition:Substitution for Well-Formed Part
    • Definition:Substitution for Letter
      • Definition:Alphabetic Substitution
    • Definition:Substitution of Term
    • Definition:Substitution for Metasymbol

• Mathematical Logic:
  • Definition:Substitution (Mathematical Logic)

Also see

• Definition:Replacement

Sources

This article is complete as far as it goes, but it could do with expansion. In particular: This reference gives other definitions of substitution which could be documented You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Expand}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.

• 2014: Christopher Clapham and James Nicholson: The Concise Oxford Dictionary of Mathematics (5th ed.) ... (previous) ... (next): substitution