1. ## Very simple question about quantifiers.

Is XY( P(x) Q(y) ) the same thing as X P(x) Y Q(y) ????

2. Originally Posted by kwaky
Is XY( P(x) Q(y) ) the same thing as X P(x) Y Q(y) ????
If x is the only variable for P(x) and y is the only variable for Q(y), then Yes.

If y occurs free in P(x) or x occurs free in Q(y), then No.

"The variable x is free in the formula B if at least one of its occurrences in B is not bound by any quantifier within B".