自由变量和约束变量

在数学和其他涉及形式语言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的代换可以在其中发生，或某些运算(比如总和或量化)可以在其上发生。这个概念有关于占位符(它是以后会被文字串所替换)，或表示未指定符号的通配符，但更加深入和复杂。变量 x 成为约束变量，比如'对于所有 x，(x + 1)2 = x2 + 2x + 1'。 或
访问 Wikipedia.org... 网页