约束变量是什么意思

百科释义

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

汉语词典收录了近50万个词语，包含词语的解释、例句和翻译，词库仍在不断更新中。

词典数据主要来源于新华字典，以及通过机器学习从海量的互联网内容中挖掘出尚未被新华字典收录的流行词语，用于补充词库，方便大家查询。