Substitution instance

A substitution is a syntactic transformation on formal expressions. To apply a substitution to an expression means to consistently replace its variable, or placeholder, symbols with other expressions.

Use + to expand a branch. Click a topic name to open its summary.