existential instantiation

Rule of inference in predicate logic

Categories: