substitution instance

noun

Definition of substitution instance

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

Love words?

You must — there are over 200,000 words in our free online dictionary, but you are looking for one that’s only in the Merriam-Webster Unabridged Dictionary.

Start your free trial today and get unlimited access to America's largest dictionary, with:

  • More than 250,000 words that aren't in our free dictionary
  • Expanded definitions, etymologies, and usage notes
  • Advanced search features
  • Ad free!

Learn More About substitution instance

Dictionary Entries Near substitution instance

substitution cipher

substitution instance

substitution rule

See More Nearby Entries 

Statistics for substitution instance

Cite this Entry

“Substitution instance.” Merriam-Webster.com Dictionary, Merriam-Webster, https://www.merriam-webster.com/dictionary/substitution%20instance. Accessed 28 Nov. 2021.

Style: MLA
MLACheck Mark Icon ChicagoCheck Mark Icon APACheck Mark Icon Merriam-WebsterCheck Mark Icon

WORD OF THE DAY

Test Your Vocabulary

Farm Idioms Quiz

  • cow coming home
  • What does 'poke' refer to in the expression 'pig in a poke'?
Spell It

Can you spell these 10 commonly misspelled words?

TAKE THE QUIZ
Love words? Need even more definitions?

Subscribe to America's largest dictionary and get thousands more definitions and advanced search—ad free!