自由变量和约束变量 编辑
在数学和其他涉及形式语言的学科中，包括数理逻辑和计算机科学，自由变量是在表达式中用于表示一个位置或一些位置的符号，某些明确的代换可以在其中发生，或某些运算可以在其上发生。这个概念有关于占位符，或表示未指定符号的通配符，但更加深入和复杂。
1
相关
数学中的方程求解是指找出哪些值可以使一个方程成立，或是指出这様的解不存在。方程是两个用等号相连的数学表示式，表示式中有一个或多个未知数，未知数为自由变量和约束变量，解方程就是要找出未知数要在什么情形下，才能使等式成立。更准确的说，方程求解不一定是要找出未知数的值，也有可能是将未知数以表示式来表示。方程的解是一组可以符合方程的未知数，也就是说若用方程的解来取代未知数，会使方程变为恒等式。
在语言和逻辑中，量化是用量词指定一个谓词的有效性的广度的构造，就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子，我们称我们已经量化了这个谓词。量化在自然语言和形式语言中都使用。在自然语言中，量词的例子有“所有”、“某些”；“很多”、“少量”、“大量”也是量词。在形式语言中，量化是从旧公式产生新公式的公式构造子。语言的语义指定了如何把这个构造子解释为一个有效性的广度。量化是自由变量和约束变量的实例。
数学中的方程求解是指找出哪些值可以使一个方程成立，或是指出这様的解不存在。方程是两个用等号相连的数学表示式，表示式中有一个或多个未知数，未知数为自由变量和约束变量，解方程就是要找出未知数要在什么情形下，才能使等式成立。更准确的说，方程求解不一定是要找出未知数的值，也有可能是将未知数以表示式来表示。方程的解是一组可以符合方程的未知数，也就是说若用方程的解来取代未知数，会使方程变为恒等式。
在语言和逻辑中，量化是用量词指定一个谓词的有效性的广度的构造，就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子，我们称我们已经量化了这个谓词。量化在自然语言和形式语言中都使用。在自然语言中，量词的例子有“所有”、“某些”；“很多”、“少量”、“大量”也是量词。在形式语言中，量化是从旧公式产生新公式的公式构造子。语言的语义指定了如何把这个构造子解释为一个有效性的广度。量化是自由变量和约束变量的实例。
数学中的方程求解是指找出哪些值可以使一个方程成立，或是指出这様的解不存在。方程是两个用等号相连的数学表示式，表示式中有一个或多个未知数，未知数为自由变量和约束变量，解方程就是要找出未知数要在什么情形下，才能使等式成立。更准确的说，方程求解不一定是要找出未知数的值，也有可能是将未知数以表示式来表示。方程的解是一组可以符合方程的未知数，也就是说若用方程的解来取代未知数，会使方程变为恒等式。