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
Show 1 more fact
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/free-variables
via Wikidata · CC0