free and bound variables
Sign in to saveAlso known as free variables and bound variables
classification of variables in a logic formula based on whether or not they are inside the scope of a quantifier
In the Vinony graph
Within Vinony's link graph, free and bound variables is referenced by 540 other articles, and connects out to logic, calculus and integral.
Vinony files it under Computer programming, Logic symbols and Mathematical notation.
Its subject is documented across 12 Wikipedia language editions.
Wikidata facts
- Instance of
- mathematical notation
- Subclass of
- variable
- Part of
- predicate
- Has part
- bound variable
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (1)
via Wikidata · CC0
Connections
logic
Entity
calculus
Entity
integral
Entity
Taylor series
Entity
limit of a function
Entity
quantifier
Entity
universal quantification
Entity
existential quantification
Entity
list of differentiation rules
Entity
notation for differentiation
Entity
derivative test
Entity
mathematics
Entity
Isaac Newton
Person
Swedish
Entity
Gottfried Wilhelm Leibniz
Entity
computer science
Entity
Norwegian
Entity
grammar
Entity
Leonhard Euler
Entity
International Standard Book Number
Entity