Universal Quantification

Variables in mathematics, such as x, y, a, b, c, etc., are quantified with phrases such as "for all x", "for any z", "for every z", "there is at least one a", etc. "For any", "for all", "for every" all mean the same thing: something is true for EVERY object under discussion, WITHOUT EXCEPTION. If there is even one exception, the "for all" is deemed false. Here are some examples:

Unquantified Variables

How does one read a sentence such as "x=x", which lacks any "for all" expression and lacks any "there is" phrase? Variables that lack quantification are said to be "free". Nevertheless, they are always understood as being "for all" sentences. So, "x=x" means the same as "For all x, x=x".

Suppose someone intends to show that every set is a subset of itself. Frequently, the writer will introduce a new variable (say, W) with a sentence such as "let W be a set" and then show that W is a subset of W. The writer then stops. One way to read what the writer intended is this: W is a free variable and the writer shows W is a subset of W, without restriction on W except that it is some set. So, a rule of logic allows us to introduce the "for all" phrase (because W is free) to conclude that, for all sets W, W is a subset of itself.

Negation applied to universal quantification

Consider a "for all" sentence of the form "for all x, P(x)" where P(x) is some sentence about x (and whose truth value might depend upon x; for different instances of x, P(x) might have different truth values). Recall that, for this to be true, it must be true of every x without exception. So, for it to be false, one needs at least one exception. not[for all x, P(x)] means the same thing as [there exists at least one x such that not(P(x))] . There might be more than one x such that not(P(x)); there might be exactly one x such that not(P(x)). Either way, the "for all x, P(x)" is false.

Several "for all" expressions

Consider two sentences: "for all x, for all y, x+y=y+x" and "for all y, for all x, x+y=y+x". These mean the same thing: with repeated "for all" expressions referring to distinct variables, the order of the "for all" expressions is not important. This is NOT true for mixtures of "for all" and "there exist" expressions.