若x的出现不是约束出现， 则称它为自由出现 自由出现( Occurrence) 则称它为自由出现(Free Occurrence)，此时的变 量词辖域的确定方法： 量词辖域的确定方法： 称为自由变元 自由变元( Variable) 元x 称为自由变元(Free Variable)。
基于8个网页-相关网页
则称它为自由出现
Then it is called free appearance
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动