主题
Search

约束变量


逻辑中,变量的出现不是自由的。 约束变量也称为哑变量


另请参阅

哑变量, 命题

使用 Wolfram|Alpha 探索

参考文献

Comtet, L. "约束变量." §1.11 in 高等组合学:有限与无限展开艺术(修订扩展版) Dordrecht, Netherlands: Reidel, pp. 30-34, 1974.

在 Wolfram|Alpha 上被引用

约束变量

请引用为

Weisstein, Eric W. "约束变量." 来自 MathWorld—— Wolfram 网络资源。 https://mathworld.net.cn/BoundVariable.html

学科分类