Dictionary
Words, grammatical forms and meanings linked to the ontology.
substitution instance en · NOUN
Meanings
-
A well-formed formula (wff) that has a constant term in place of a variable; expressed as Q(a/x), where the resulting wff is identical to Q except that the constant a takes the place of every free occurrence of the variable x.
The result of substituting a term a for all free occurrences of the variable x in the formula Q is denoted by Q(a/x).
1972, Alonzo Church, Introduction to Mathematical Logic, Princeton University Press, page 78:
Forms
Antonyms
generalization