個體變項的自由

個體變項的自由是數理邏輯名詞。一個體變項△在一公式A的 某一位置上為自由出現，若且唯若， 此位上的△滿足:（1)不在量詞（V …）和(3…）之中，並且(2)不在量詞 (VA)和（3A)的轄域之中。

一個體變項△在一公式A的 某一位置上為自由出現，若且唯若， 此位上的△滿足:（1)不在量詞（V …）和(3…）之中，並且(2)不在量詞 (VA)和（3A)的轄域之中。例如： 在：“(3x)(pVB(x,y))” 中，“y” 為自由出現。