 Solution

A first-order theory has quantifier elimination if every first-order formula is equivalent over the first-order theory to a quantifier-free formula with the same free variables:Logical truth and falsity may be treated as the empty Boolean combinations when considering sentences in a language without closed terms. The assertion concerns first-order formulas with free variables, not merely sentences.