主題
Search

自由變數


變數在邏輯公式中的出現,且該出現不在量詞的作用域內。


參見

約束量詞語句

使用 探索

參考文獻

Curry, H. B. 數理邏輯基礎。 紐約:Dover,第 112 頁,1977 年。

在 中被引用

自由變數

以此引用

Weisstein, Eric W. “自由變數。” 來自 Web 資源。 https://mathworld.tw/FreeVariable.html

主題分類