existential instantiation

/EH0 G Z IH0 S T EH1 N CH AH0 L IH0 N S T AE0 N SH IY0 EY0 SH AH0 N/

noun

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

Translate “existential instantiation” into another language

Choose a language below to open the translator with English selected as the source language.