##  [Existential Generalization](/existential-generalization-0) 

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

 

 

 

 

 

 





## Principle

Principle

A demonstrated or assumed instance provides a witness: from P(a) you may conclude ∃x P(x) because the term a serves as evidence that the predicate holds for at least one object in the domain.

 

 

 

 

 





## Demonstration

Demonstration

From the statement '7 is prime' expressed as Prime(7), one may infer ∃n Prime(n), asserting the existence of a prime number by generalizing the exhibited instance 7.

 

 

 

 

## Misapplication

Misapplication

Illegitimately applying existential generalization to a parameter that was introduced as a schematic or arbitrary placeholder without establishing it denotes a real object can lead to invalid existence claims; also generalizing from an internal hypothetical that depends on discharged assumptions is erroneous.

 

 

 

 

 





## Consequence

Consequence

Enables the introduction of existence claims into proofs once a concrete witness is identified, allowing further reasoning that depends on the mere existence of such an object.

 

 

 

 

## Reversal

Reversal

The reversal is existential instantiation: from ∃x P(x) derive P(c) for a fresh constant c, which requires care to avoid assuming particular properties of the witness not justified by the existential premise.

 

 

 

 

 





## Boundary

Boundary

Valid only when the term used as witness denotes an object in the domain; in constructive settings the witness must be exhibited explicitly, and in free logics terms that may be non-denoting require additional rules.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension occurs between existential generalization and claims about arbitrariness: generalization produces existence but not uniqueness or computable witnesses, which is significant in constructive versus classical settings.

 

 

 

 

 





## Synthesis

Synthesis

Existential Generalization: the standard rule that elevates a known instance to an existence claim by treating the instance as a witness, effective only when the witness legitimately denotes an object in the relevant domain and any proof-context restrictions are respected.