31.3 Existential Instantiation

31.3 Existential Instantiation The last proof method for quantifiers that we need to learn is how to reason from an existential. Say we know that (1) all the pets are mammals, and (2) there exists a pet. We want to