Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:quantifier_elimination_definition [2009/04/22 10:07] vkuncak |
sav08:quantifier_elimination_definition [2009/04/22 14:20] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Definition of Quantifier Elimination ====== | ====== Definition of Quantifier Elimination ====== | ||
- | In this section, we will consider some language ${\cal L}$ and some set $T$ of formulas (see [[sav08:First-Order Logic Semantics]]). | + | In this section, we will consider some language ${\cal L}$ and some set $T$ of formulas such that $Conseq(T)=T$ (see [[sav08:First-Order Logic Semantics]]). |
As a special case, we can have | As a special case, we can have |