bn:21706358n
Noun Concept
Categories: Logic symbols, All articles needing additional references, Mathematical notation, Predicate logic, Computer programming
EN
Free variables and bound variables  free and bound variable  apparent variable  bound variable  Bound variable clash
EN
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. Wikipedia
Definitions
Relations
Sources
EN
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. Wikipedia
Classification of variables in a logic formula based on whether or not they are inside the scope of a quantifier Wikidata