Existential instantiation
ID: 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.
New to topics? Read the docs here!