Next: bv, Previous: eg, Up: Predicate Rules
Existential Instantiation claims that if there exists an object for which property ‘P’ is true, then it can be claimed that some unused object has this property. In this case, ‘a’ becomes a placeholder for the object.