Existential-instantiation Definition

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)).
Wiktionary

Other Word Forms of Existential-instantiation

Noun

Singular:
existential-instantiation
Plural:
existential instantiations

Find Similar Words

Find similar words to existential-instantiation using the buttons below.

Words Starting With

Words Ending With

Word Length