Quantifier elimination

Simplification technique in mathematical logic

Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. Informally, a quantified statement " ∃ x {\displaystyle \exists x} such that ..." can be viewed as a question "When is there an x {\displaystyle x} such that ...?", and the statement without quantifiers can be viewed as the answer to that question. One way of classifying formulas is by the amount of quantification.

From Wikipedia, under CC BY-SA. More on occurri.