自由变量
逻辑
反馈
谢谢你的反馈
我们的编辑器将检查你提交并决定是否修改这篇文章。
外部网站
了解这个话题在这些文章中:
公理集合论
- 在集理论:模式生成格式良好的公式
一个变量在一个公式是免费的如果它至少出现一次的公式而不引入的一些短语之一”x”或“x”。从今以后,一个公式年代在这x是一个自由变量将被称为“一个条件…
阅读更多
较低的谓词演算
-
在形式逻辑:降低谓词演算
据说…一定是免费的。因此,在(∀x)(ϕx∨ϕy)x在ϕx绑定,因为它发生在量词的范围包含吗x,但y是免费的。谓词演算的wffs低,每出现一个谓词变量(ψ,ϕχ,……
阅读更多