主題
Search

約束變數


邏輯中,變數的出現不是自由的。 約束變數也稱為啞變數


另請參閱

啞變數, 命題

使用 探索

參考文獻

Comtet, L. "約束變數." §1.11 in 高等組合學:有限與無限展開藝術(修訂擴充套件版) Dordrecht, Netherlands: Reidel, pp. 30-34, 1974.

在 上被引用

約束變數

請引用為

Weisstein, Eric W. "約束變數." 來自 —— Wolfram 網路資源。 https://mathworld.tw/BoundVariable.html

學科分類