FANDOM

175 Pages

Existential generalization is a rule of inference of predicate logic that allows one to infer $\exists x P(x)$ from a formula of the form $P(t)$. In symbols:

$\phi (t) \vdash \exists \phi (x)$

where $t$ is any term.

RestrictionsEdit

The term that replaces the variable must not become bound in the derived formula.