The rule of Existential Generalization (E.G.) is used to justify this inference:
(x)(Px ? Qx)
? Pa ? Qa

Question

The rule of Existential Generalization (E.G.) is used to justify this inference:
 (x)(Px ? Qx)
 ? Pa ? Qa

Quizplus · Accepted Answer

The rule of Existential Generalization (E.G.) allows one to infer from a statement about an individual to a statement that such an individual exists. It does not justify the inference from a universal statement to a particular instance as shown. The inference shown is more directly related to the application of Universal Instantiation (U.I.), which allows one to infer from a statement about all members of a domain to a statement about a specific member of that domain.

The Rule of Existential Generalization (E