Next: , Previous: , Up: Predicate Rules   [Contents]

6.3.4 Existential Instantiation.

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. Variables

Existential Instantiation uses exactly one reference.