自由变量

参见

约束，量词，语句

使用 探索

参考文献

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

在 中被引用

自由变量

以此引用

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

主题分类