您的位置首页生活百科

自由变元

自由变元

自由变元(free variable)是一种变元,指在一个公式中自由出现的变元。自由变元的一个重要特征是取值不确定,则所在公式的值也不确定。

在谓词公式∀x(A)或∃x(A)中,称A为相应量词的作用域或辖域,量词中的x称为指导变元或作用变元,辖域中的x称为约束变元(简称约束元),其余的变元称为自由变元(简称自由元)。

通俗地说,辖域是量词所约束的范围.受量词约束的个体变元称为约束变元,不受量词约束的个体变元称为自由变元。

想要了解更多“自由变元”的信息,请点击:自由变元百科