约束变元﹡
所属分类:数学
约束变元名词解释:一种变元.指在一个公式中约束出现的变元.约束变元的一个重要特征是,尽管它们的取值不定,但如果其所在公式没有自由变元,这个公式的真值是确定的.例如,在公式(x)[x0]中,x是约束变元,尽管人们不给x取定某值,但仍可确定该公...
自由变元﹡
所属分类:数学
自由变元名词解释:一种变元.指在一个公式中自由出现的变元.自由变元的一个重要特征是其值不取定,则所在公式的值也不确定.例如,在公式(x)[x2y]中,y为自由变元,若y取值-1,则该公式值为真,若y取值1,则该公式值为假.