沒有量詞限制的變元叫做自由變元(free variable),而受到量詞控制的變元叫做約束變元(bound variables)。只要一個邏輯表達式含有一個或多個自由變元,則它就是語句形式, ...
確定! 回上一頁