Category:Bound Variables

From ProofWiki
Jump to navigation Jump to search

This category contains results about Bound Variables.
Definitions specific to this category can be found in Definitions/Bound Variables.

A bound variable is a variable which, when it occurs in an expression, can be replaced with another variable without changing the meaning of the statement.