Definition:Bound Variable

Definition
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.

Predicate Logic
In the context of predicate logic, the concept has a precise definition:

Also known as
A bound variable is also popularly seen with the name dummy variable. Both terms can be seen on.

In treatments of pure logic, this is sometimes known as an individual variable.

Some sources call it an apparent variable, reflecting the fact that it only "appears" to be a variable.

Also see

 * Definition:Bound Occurrence


 * Definition:Free Variable


 * Definition:Bound Variable (Predicate Logic)