Quantifier elimination is a concept of simplification used in mathematical logic, model theory, and theoretical computer science. One way of classifying formulas is by the amount of quantification. Formulae with less depth of quantifier alternation are thought of as being simpler, with the quantifier-free formulae as the simplest. A theory has quantifier elimination if for every formula, there exists another formula without quantifiers which is equivalent to it (modulo the theory).
Read more about Quantifier Elimination: Examples, Algorithms and Decidability, Related Concepts, Basic Ideas, History
Famous quotes containing the word elimination:
“To reduce the imagination to a state of slavery—even though it would mean the elimination of what is commonly called happiness—is to betray all sense of absolute justice within oneself. Imagination alone offers me some intimation of what can be.”
—André Breton (1896–1966)