Go backward to Examples Go up to Top Go forward to Closed Formulas |
The meaning of
forall x: exists y: x*y <= zis the same as the meaning of
forall y: exists w: y*w <= zbut it is not the same as the meaning of
forall x: exists y: x*y <= w.
Renaming a bound variable does not change the meaning of a phrase.