Existential generalization is a rule of inference that states if a predicate is true for some particular object, then it is true for some object in the domain of discourse. In symbolic form, if $P(c)$ is true, then $\exists x P(x)$ is true.
Show more…