Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm trying to learn something about mathematical logic. I think, I partly understand definitions of free variables, bound variables and quantification, but it's not easy topic for me and it's not enough to solve problems. I mean, for example I have such problem:

mark sets on a graph:

  • $\{ z : \mathbb{R} | \forall{x}\exists{x}(x=1) \}$
  • $\{ z : \mathbb{R} | \exists{x}\forall{x}(x=1) \}$
  • $\{ x : \mathbb{R} | \exists{x}\forall{x}(x=1) \}$

What is $z$ in this case? How to think about such problems? How to solve them?

I'm not asking You to solve that particular problem; I want You to explain me (or give some links to articles, tutorials, books etc.) this topic (free variables,bound variables and quantification).

I would really appreciate You help.

share|cite|improve this question
The three bulleted expressions don't make any sense to me. – Christian Blatter Jan 23 '11 at 9:44

These (Stanford notes on quantification) notes seem good.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.