Next: , Previous: ui, Up: Predicate Rules


6.3.3 Existential Generalization

Existential Generalization claims that if ‘P’ is true for some object, then there exists an object for which ‘P’ is true.

Existential Generalization uses exactly one reference.