 Existential instantiation

Existential instantiation is a rule of inference used in formal logic, particularly in predicate logic. It allows one to infer that if a statement asserts the existence of at least one object with a certain property, one can instantiate this property with a specific example.