free variable
Sign in to saveAlso known as real variable
variable in a logic formula which is not inside the scope of a quantifier
Wikidata facts
- Subclass of
- variable
- Part of
- free and bound variables
Show 2 more facts
- opposite of
- bound variable
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/free-variables
via Wikidata · CC0