怎么判断自由变元，怎样辨别自由变元与约束变元

今天小编为大家分享生活中的小常识、日常问题解答等相关内容，希望能够帮助大家。

大家好，今天小方来说说一篇关于自由变元，关于自由变元部分内容简述的文章，那么现在就为大家来简单介绍下，希望对各位小伙伴们有所帮助。

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

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

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

文章到此就分享结束，希望对大家有所帮助。

Www.yiLeen.com.CN艺莲園提供生活百科,美食,购物,旅游,房产,交通,家居,数码,科技,财经,教育,健康,娱乐,历史,汽车,生活消费门户网站