URGENT WARNING: Spam emails claiming to be Fascipedia are FRAUDULENT. We do NOT have mailing lists, send newsletters, or solicit funds ...ever. Report these scams to us immediately at admin@fascipedia.org.
Substitution
Jump to navigation
Jump to search
Substitution is a fundamental concept in logic. 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 by other expressions. The resulting expression is called a substitution instance, or instance for short, of the original expression.