previous up next
Go backward to Examples
Go up to Top
Go forward to Closed Formulas
RISC-Linz logo

Bound Variables

The meaning of

forall x: exists y: x*y <= z
is the same as the meaning of
forall y: exists w: y*w <= z
but 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.


Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next