在来自数学和其他涉及形式语严南粮我居强业师况言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的360百科代换可以在其中发生，或某些运算(比如总和或量化)可以在其上发生.