存在图_查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法

存在图

查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法

存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在1882年写了第一篇关于图形逻辑的论文，并持续开发这种方法直到1914年他故去。

图形

皮尔士提出了三个存在图系统:

Alpha嵌套于beta和gamma中。Beta不嵌套于gamma中，量化的模态逻辑超出了皮尔士的视野。

Alpha

一个对象的深度是包围它的切的数目。

推理规则:

等价规则:

证明按照一系列步骤操纵一个图，每个步骤都由上述规则中一个来证实，直到这个图被简约为一个空切或空白页。可以如此简约的图现在叫做重言式或矛盾。不能简约超过一个特定点的图类似于一阶逻辑的可满足公式。

Beta

深度

Gamma

向alpha增加了第二类切，写做虚线而不是实线。使用虚线的简单闭合的曲线可以读做模态逻辑的基本一元运算。

参考资料

最新修订时间：2022-08-25 16:31

条目作者

概述

图形

Alpha

参考资料