数学や形式言語に関連する分野（数理論理学と計算機科学）において、自由変数（または自由変項、英:freevariable）は数式や論理式で置換が行われる場所を指示する記法である。
在数学和其他涉及形式语言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的代换可以在其中发生，或某些运算（比如总和或量化）可以在其上发生。