約束變元

約束變元(bound variable)一種變元.指在一個公式中約束出現的變元.約束變元的一個重要特徵是，儘管它們的取值不定，但如果其所在公式沒有自由變元，這個公式的真值是確定的。例如，在公式 ( b.z葉}0]中，二是約束變元，儘管人們不給二取定某值，但仍可確定該公式在實數域上的值為假. ^[1]