KnowraFree variableLinked fromLinked fromThe 15 pages that link to Free variable, each with the reason it gives.All 15Broader topic 2Related 7Compared with 6Existential quantificationCompared with: Unlike its bound variable, a free variable requires an external assignment.Universal quantificationCompared with: A formula with free variables depends on an assignment rather than making a closed universal claim.Domain of discourseCompared with: Unlike bound variables, free variables receive values through an assignment from the domain.Bound variableCompared with: Free occurrences depend on an external assignment, unlike bound occurrences.Skolem normal formCompared with: Free variables are not existential witnesses to eliminate during the transformation.Universe (mathematics and logic)Compared with: Unlike bound variables, its value must be supplied to evaluate a formula.