English Explanatory Dictionary

existential instantiation

English dictionary entry

Meanings

noun
  1. 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)).

Word forms

existential instantiation existential instantiations
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on E Russian dictionary Dahl dictionary