個體變元的自由出現

個體變元的自由出現( free occurence of individualvariable)數理邏輯用語。一個體變項△在一公式A的某位置上為自由出現,若且唯若,此位上的△滿足:(1)不在量詞(…)和(彐…)之中,並且(2)不在量詞(V△)和(彐△)的轄域之中。例如:在:“(彐x)(pVR(x,y)”中,“y”為自由出現。