自由变量

自由变量有多个义项。一个是指谓词公式中出现的自由变量，其对应的是约束变量；另一个是指线性规划中没有非负性条件的设计变量。