previous up next
Go backward to Bound Variables
Go up to Top
Go forward to Abbreviations
RISC-Linz logo

Closed Formulas

Do not just write

x + y = y + x
if you wish to say, e.g.
x + y = y + x, for every x and y,
i.e.,
forall x, y: x + y = y + x.

Bind variables by quantifiers to avoid misinterpretations.


Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next