1 substitution instance | Definition of substitution instance

substitution instance

noun

Definition of substitution instance

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