Contextualizebeta

existential instantiation

noun

Definitions

  1. In predicate logic, an inference rule of the form ∃x P(x) ⊢ P(c), where c is a new symbol…

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

The neighborhood

Vish — recursive loop

No curated loop yet for existential instantiation. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA