个体变元的自由出现( free occurence of individualvariable)数理逻辑用语.一个体变项△在一公式A的某位置上为自由出现,当且仅当,此位上的△满足:(1)不在量词(...)和(彐...)之中,并且(2)不在量词(V△)和(彐△)的辖域之中.例如:在:"(彐x)(pVR(x,y)"中,"y"为自由出现.个体变元的自由出现( free occurence of individualvariable)数理逻辑用语.一个体变项△在一公式A的某位置上为自由出现,当且仅当,此位上的△满足:(1)不在量词(...)和(彐...)之中,并且(2)不在量词(V△)和(彐△)的辖域之中.例如:在:"(彐x)(pVR(x,y)"中,"y"为自由出现.