約束變元

公式介紹

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