substitution instance
nounDefinition of substitution instance
: a statement in logic derived from a statement form by substitution of constants for variables