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:qe_from_conjunction_of_literals_suffices [2009/04/21 19:02] vkuncak |
sav08:qe_from_conjunction_of_literals_suffices [2009/04/21 19:02] vkuncak |
||
---|---|---|---|
Line 19: | Line 19: | ||
Finally, to eliminate a universal quantifier | Finally, to eliminate a universal quantifier | ||
- | |||
\[ | \[ | ||
\forall x. F | \forall x. F |