Substitution (logic)

（重定向自Substitution instance）

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 of the original expression.

单词	Substitution instance
释义	Substitution instance 英语百科 Substitution (logic) （重定向自Substitution instance） 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 of the original expression.
随便看	black rots的意思 black rouge的意思 black rough bolt的意思 black rubber的意思 black rubber apron的意思 black rubber coat的意思 black rubber hat的意思 black rubber hose的意思 black rubber insertion的意思 black rubber jacket的意思 black rubber leggings的意思 black rubber overall的意思 black rubber police coat的意思 Black Rubric的意思 black rudderfish的意思 Black ruff的意思 Black Run的意思 Black Russia的意思 Black Russian的意思 Black Russians的意思 black rust的意思 black的意思 Black Sabbath的意思 black saddle seed的意思 Black Sage的意思