Free variables and bound variables

In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a variable may be said to be either free or bound. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively.

Source: Wikipedia — Free variables and bound variables (CC BY-SA 4.0)

Free variables and bound variables

In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a variable may be said to be either free or bound. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively.

Source: Wikipedia "Free variables and bound variables" · CC BY-SA 4.0

Share this article: X · Bluesky
Privacy Policy