Definition:Free Variable/Also known as
Jump to navigation
Jump to search
Free Variable: Also known as
A free variable is often referred to as an unknown, particularly in mathematical contexts.
In the field of logic, a free variable can also be referred to as a real variable.
However, this can be confused with a variable whose domain is the set of real numbers, so its use on $\mathsf{Pr} \infty \mathsf{fWiki}$ is discouraged.
The name arises in apposition to the name apparent variable, which is another name for bound variable.
Sources
- 1972: A.G. Howson: A Handbook of Terms used in Algebra and Analysis ... (previous) ... (next): $\S 1$: Some mathematical language: Variables and quantifiers