自由变元(free variable)是一种变元，指在一个公式中自由出现的变元。自由变元的一个重要特征是取值不确定，则所在公式的值也不确定。
在谓词公式∀x(A)或∃x(A)中，称A为相应量词的作用域或辖域，量词中的x称为指导变元或作用变元，辖域中的x称为约束变元(简称约束元)，其余的变元称为自由变元(简称自由元)。
通俗地说,辖域是量词所约束的范围．受量词约束的个体变元称为约束变元，不受量词约束的个体变元称为自由变元。
想要了解更多“自由变元”的信息，请点击：自由变元百科
自由变元
Simone
发布于 2023-04-30 10:43:32
621 阅读
