個體變元的約束出現

個體變元的約束出現( bound occurence of individu-al variable)數理邏輯用語。一個體變項△在一公式A的某一位置上為約束出現,若且唯若,此位置上的△滿足:(1)在量詞(V…)或(彐…)之中,或(2)在量詞(△)或(彐△)的轄域之中。如:“(彐x)(pVR(x,y))”中,“x”在兩處皆為約束出現。