In logic, existential instantiation (also known as existential elimination) is a valid rule of inference from the truth of a statement of the form "There exists x such that P(x)" to the truth of P(c), where c is a new term that does not appear in the original
Show more…