自由变量

变量在逻辑公式中的出现，且该出现不在量词的作用域内。

参见

约束，量词，语句

使用 Wolfram|Alpha 探索

更多尝试

参考文献

Curry, H. B. 数理逻辑基础。 纽约：Dover，第 112 页，1977 年。

在 Wolfram|Alpha 中被引用

以此引用

Weisstein, Eric W. “自由变量。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/FreeVariable.html

主题分类