Is XY( P(x) Q(y) ) the same thing as X P(x) Y Q(y) ????
Follow Math Help Forum on Facebook and Google+
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".
View Tag Cloud