量化一个合式公式中的某个变量所得到的表达式也是合式公式。如果一个合式公式中某个变量是经过量化的，就把这个变量叫做约束变量，否则就叫它为自由变量。在合式公式中，感兴趣的主要是所有变量都是受约束的。
精词语典，您的汉语词典专家。收录海量词语、成语、近义词、反义词，提供精准解释与组词示例。专业、全面、易用，助您轻松掌握汉语词汇。