existential quantification

How Do You Remove Existential Quantifiers? In formal logic, the way to “get rid” of an existential quantifier is through the so-called ∃-elimination rule; see Natural Deduction. Is the process of removing existential quantifiers by elimination? You’re thinking of the process known as Skolemization, which eliminates existential quantifiers at the cost of introducing new function