SUBSTITUTION INSTANCE


Meaning of SUBSTITUTION INSTANCE in English

noun

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

Webster's New International English Dictionary.      Новый международный словарь английского языка Webster.