Existential Generalization
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
An inference rule that permits one to infer an existential claim ∃x P(x) from a particular instance P(t): if some term t satisfies P, then there exists an x such that P(x).