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.
随便看	eyehook的意思 eye hook conductor的意思 eye hook garment的意思 eyehook的意思 eye hook with safety latch的意思 eye hospital的意思 eye hye remote water gauge的意思 eyeiece micrometer的意思 eye impression的意思 Eye infection的意思 Eye Infection,Bacterial的意思 Eye Infection,Fungal的意思 Eye Infection,Parasitic的意思 eye infections的意思 Eye Infections,Bacterial的意思 Eye Infections,Fungal的意思 Eye Infections,Parasitic的意思 Eye Infections,Viral的意思 Eye Infection,Viral的意思 eye的意思 eyeing stage的意思 eyeing up的意思 Eye injuries的意思 Eye Injuries,Penetrating的意思 Eye injury的意思

Ground instance

Substitution (logic)