Basic Ideas
To show constructively that a theory has quantifier elimination, it suffices to show that we can eliminate an existential quantifier applied to a conjunction of literals, that is, show that each formula of the form:
where each is a literal, is equivalent to a quantifier-free formula. Indeed, suppose we know how to eliminate quantifiers from conjunctions of formulae, then if is a quantifier-free formula, we can write it in disjunctive normal form
and use the fact that
is equivalent to
Finally, to eliminate a universal quantifier
where is quantifier-free, we transform into disjunctive normal form, and use the fact that is equivalent to
Read more about this topic: Quantifier Elimination
Famous quotes containing the words basic and/or ideas:
“The research on gender and morality shows that women and men looked at the world through very different moral frameworks. Men tend to think in terms of “justice” or absolute “right and wrong,” while women define morality through the filter of how relationships will be affected. Given these basic differences, why would men and women suddenly agree about disciplining children?”
—Ron Taffel (20th century)
“The myth of motherhood as martyrdom has been bred into women, and behavioral scientists have helped embellish the myth with their ideas of correct “feminine” behavior. If women understand that they do not have to ignore their own needs and desires when they become mothers, that to be self-interested is not to be selfish, it will help them to avoid the trap of overattachment.”
—Grace Baruch (20th century)