自由变元名词解释：一种变元.指在一个公式中自由出现的变元.自由变元的一个重要特征是其值不取定,则所在公式的值也不确定.例如,在公式(x)[x2y]中,y为自由变元,若y取值-1,则该公式值为真,若y取值1,则该公式值为假.