个体变项的自由是数理逻辑名词.一个体变项△在一公式A的 某一位置上为自由出现,当且仅当, 此位上的△满足:(1)不在量词(V ...)和(3...)之中,并且(2)不在量词 (VA)和(3A)的辖域之中.一个体变项△在一公式A的 某一位置上为自由出现,当且仅当, 此位上的△满足:(1)不在量词(V ...)和(3...)之中,并且(2)不在量词 (VA)和(3A)的辖域之中.例如: 在:"(3x)(pVB(x,y))" 中,"y" 为自由出现.