Search All of the Math Forum:
Views expressed in these public forums are not endorsed by
NCTM or The Math Forum.


Math Forum
»
Discussions
»
sci.math.*
»
sci.math
Notice: We are no longer accepting new posts, but the forums will continue to be readable.
Topic:
Eliminating Quantifiers For Dummies! A(x) E(y) ALL(t)EXIST(u)EaAb ..
Replies:
3
Last Post:
Jan 31, 2012 8:57 AM




Re: Eliminating Quantifiers For Dummies! A(x) E(y) ALL(t)EXIST(u)EaAb ..
Posted:
Jan 31, 2012 8:57 AM


Jesse F. Hughes wrote: > Tony Orlow <bonytones@gmail.com> writes: >
> It doesn't seem to me as if you're eliminating any quantifiers at all. > You've simply chosen a different notation for quantifiers, one which > hides them from obvious view ...
Exactly! How much easier to swap them round when they're behind a curtain.
Brian Chandler



