The relational statements we've examined so far have a variable
in one of the subject positions, bound by a single quantifier.
However, we can also have variables in more than one position,
each bound by a separate quantifier, as long as we observe a few
When we have more than a single quantifier, how do we tell which
one goes first? If the quantifiers are of the same kind, it
In general, when the existential quantifier comes before the
universal quantifier, it means there is some one thing that the
rest of the statement is about.
|Everything is related
|For everything that exists, there's
something that causes it.
|There is a single
cause for everything.
When the existential quantifier comes after the universal
quantifier, it means "something or other."