个体变元的约束出现( bound occurence of individu-al variable)数理逻辑用语.一个体变项△在一公式A的某一位置上为约束出现,当且仅当,此位置上的△满足:(1)在量词(V...)或(彐...)之中,或(2)在量词(△)或(彐△)的辖域之中.如:"(彐x)(pVR(x,y))"中,"x"在两处皆为约束出现.个体变元的约束出现( bound occurence of individu-al variable)数理逻辑用语.一个体变项△在一公式A的某一位置上为约束出现,当且仅当,此位置上的△满足:(1)在量词(V...)或(彐...)之中,或(2)在量词(△)或(彐△)的辖域之中.如:"(彐x)(pVR(x,y))"中,"x"在两处皆为约束出现.