Definitions of existential instantiation:
  • noun:   (logic) In predicate logic, an inference rule of the form ∃x P(x) ⊢ P(c), where c is a new symbol (not part of the original domain of discourse, but which can stand for an element of it (as in Skolemization)).

(Definitions from Wiktionary)

Related words...

Search for existential instantiation at other dictionaries: OneLook, Oxford, American Heritage, Merriam-Webster, Wikipedia

Help  Advanced  Feedback  iPhone/iPad  Android  API  @RhymeZoneCom  Blog  Privacy

Copyright © 2022 Datamuse