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.