表的内容

关闭

逻辑
反馈
修正?更新?遗漏?让我们知道如果你有建议改进这篇文章(需要登录)。
谢谢你的反馈

我们的编辑器将检查你提交并决定是否修改这篇文章。

外部网站
也称为:封闭的格式良好的公式

了解这个话题在这些文章中:

较低的谓词演算

  • 怀德海
    形式逻辑:降低谓词演算

    …据说是一个封闭的wff LPC的。如果wff LPC的被认为是一个命题形式,取代所有自由变量的实例是通过谓词或个人的名字,是适当的。一个绑定变量,另一方面,表明不…

    阅读更多
  • 怀德海
    正式的逻辑:在LPC的逻辑操作

    …一个封闭wff(称为α关闭)时,将表达确定的命题含义谓词变量。上面的规则可用于非等值的详尽列表关闭α和它们之间的影响关系。最简单的例子是ϕxy,对…

    阅读更多