Existential instantiation is a logical rule enabling the inference of a specific individual's existence from a generic existential statement. It's…