Bacchus: Created page with "'''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. Category:Definitions Category:Philosophy Category:Science"

2023-02-17T19:12:29Z

Created page with "'''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. Category:Definitions Category:Philosophy Category:Science"

New page

'''Substitution''' is a fundamental concept in [[logic]]. A substitution is a [[syntax|syntactic]] transformation on formal expressions. To apply a substitution to an expression means to consistently replace its variable, or placeholder, [[symbol]]s by other expressions. The resulting expression is called a substitution instance, or instance for short, of the original expression.

[[Category:Definitions]]
[[Category:Philosophy]]
[[Category:Science]]

Substitution - Revision history