Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:21706358n
Noun Concept
Categories: Mathematical notation, Predicate logic, All articles needing additional references, Computer programming, Logic symbols
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
IS A
mathematical notation
variable
PART OF
predicate
HAS KIND
free variable
Wikipedia
EN
Free variables and bound variables
Wikidata
EN
free and bound variable
Wikipedia Redirections
EN
apparent variable, bound variable, Bound variable clash, bound variables, Free and bound variable, Free and bound variables, Free occurrence, free variables, Free variables & bound variables, Placeholder variable, Unbound variable, Unbound variables, Variable-binding operation, Variable-binding operator, Variable binding operation, variable binding operator
Wikidata Alias
EN
free variables and bound variables

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License