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 ideas, basic and/or ideas:
“It is a strange fact that freedom and equality, the two basic ideas of democracy, are to some extent contradictory. Logically considered, freedom and equality are mutually exclusive, just as society and the individual are mutually exclusive.”
—Thomas Mann (1875–1955)
“Our basic ideas about how to parent are encrusted with deeply felt emotions and many myths. One of the myths of parenting is that it is always fun and games, joy and delight. Everyone who has been a parent will testify that it is also anxiety, strife, frustration, and even hostility. Thus most major parenting- education formats deal with parental emotions and attitudes and, to a greater or lesser extent, advocate that the emotional component is more important than the knowledge.”
—Bettye M. Caldwell (20th century)
“Public morning diversions were the last dissipating habit she obtained; but when that was accomplished, her time was squandered away, the power of reflection was lost, [and] her ideas were all centered in dress, drums, routs, operas, masquerades, and every kind of public diversion. Visionary schemes of pleasure were continually present to her imagination, and her brain was whirled about by such a dizziness that she might properly be said to labor under the distemper called the vertigo.”
—Sarah Fielding (1710–1768)