Substitution (logic)

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.

单词	Ground instance
释义	Ground instance 英语百科 Substitution (logic) 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.
随便看	discrimination of plant species discrimination of traffic discrimination output Discrimination,Pitch Discrimination power discrimination process discrimination protection discrimination protective system discrimination ratio discrimination reaction discrimination reaction time test discrimination reversal discrimination score discrimination scores discrimination selecting machine discrimination selector discrimination setting Discrimination,Sex Discrimination,Social Discrimination,Speech Discriminations,Pitch discrimination stimulus Discrimination test Discrimination Test,Speech Discrimination Tests,Speech

Ground instance

Substitution (logic)