Dictionaries › English

substitution instance

The English word “substitution instance” has 1 meaning listed here.

noun

  1. 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.
Keep exploring: in the interactive dictionary every word of a definition is a link. Open “substitution instance” there

More English words

About this dictionary

The English dictionary on Glottosphere has 650,529 entries with a page. Browse the English dictionary.

Definitions are from Wiktionary, extracted by Kaikki.org, and are available under the CC BY-SA 4.0 licence.