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