約束變元

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

相關詞條

熱門詞條

聯絡我們