Existential instantiation

Noun

Word Frequency: 0.0

Definitions

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

Synonyms

existential quantifier strict implication predicate calculus peirce's law existential quantifier implicand singular existential statement interpretation predicate logic implicant inference rule

🔗 Find words with "existential instantiation" in A2Z Word Finder

The Daily Word NerdA new word, a puzzle, and a fun fact — free in your inbox every morning.

Free forever · unsubscribe anytime · all 14 newsletters

That email did not go through — please check it and try again.