表的内容

替换规则

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

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

外部网站
也称为:法治统一替换

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

公理化的谓词演算

  • 怀德海
    形式逻辑:LPC的公理化

    规则统一替换谓词结石,虽然可公式化的,大多是非常复杂的,,为了避免这些规则的必要性,因此公理为这些系统通常由公理图式在前面解释的意义(见上图公理化的PC)。考虑到形成…

    阅读更多

使用axiom图式

  • 怀德海
    形式逻辑:公理化的电脑

    …另一方面,替换将不再需要的规则,和演绎推理可以唯一的转换规则。这个方法没有区别的定理可以推导出,但是,在一些分支逻辑(虽然不是在PC),它是简单的使用…

    阅读更多

格式良好的公式的有效性