檢視约束变量的原始碼

{| class="wikitable" align="right"
|-
|<center><img src=https://p8.itc.cn/images01/20230421/605356236b22421ca83daa7dacc88e51.jpeg width="350"></center>
<small>[https://www.sohu.com/a/668852535_121651509 来自 搜狐网 的图片]</small>
|}

'''约束变量'''是全国科学技术名词审定委员会审定、公布的科技术语。

随着社[[会]]制度的不断发展与进步，中国的[[汉字]]也在不断演化着，从最初的甲骨文<ref>[https://www.sohu.com/na/433723048_120596511 汉字小时候｜一个文字，一段历史]，搜狐，2020-11-24</ref>渐渐发展到了小篆<ref>[https://www.sohu.com/a/146069760_301850 书法丨原来小篆是中国第一个也是唯一一个由国家规定的标准汉字形态！]，搜狐，2017-06-05</ref>，后来文化进一步发展后，才出现了”汉字”这种说法。

==名词解释==

量化一个合式公式中的某个变量所得到的表达式也是合式[[公式]]。如果一个合式公式中某个变量是经过量化的，就把这个变量叫做约束变量，否则就叫它为[[自由]]变量。在合式公式中，感兴趣的主要是所有变量都是受约束的。

形式解释

变量约束机制出现在数学、逻辑和计算机科学中的不同情况中，但是在所有情形下它们是其中的表达式和变量的纯粹语法性质。本节中我们用叶子节点是变量、函数常量或谓词常量，而节点是逻辑运算符的树，识别表达式来总结语法。变量约束的运算符是几乎出现在所有形式语言中的逻辑运算符。没有它们的语言实际上要么是非常缺乏表达能力，要么非常难于使用。约束的运算符 Q 接受两个参数：变量v和表达式P，把 Q 应用于它的参数时就会生成新表达式 Q(v,P) 。约束运算符的意义由这个语言的语义提供而不是我们现在关心的。 

变量约束有关于三个事情：变量v，这个变量在表达式中的位置a，和形成 Q(v,P) 的节点n。注意: 我们定义在表达式中位置为在这个语法树中的叶子节点。变量约束在这个位置在节点n之下的时候发生。

==参考文献==
[[Category:800 語言學總論]]