存在图

✍ dations ◷ 2025-11-18 15:02:07 #存在图

存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在1882年写了第一篇关于图形逻辑的论文，并持续开发这种方法直到1914年他故去。皮尔士提出了三个存在图系统:Alpha嵌套于beta和gamma 中。Beta不嵌套于gamma中，量化的模态逻辑超出了皮尔士的视野。语法是:语义是:一个对象的深度是包围它的切的数目。推理规则:等价规则:证明按照一系列步骤操纵一个图，每个步骤都由上述规则中一个来证实，直到这个图被简约为一个空切或空白页。可以如此简约的图现在叫做重言式或矛盾。不能简约超过一个特定点的图类似于一阶逻辑的可满足公式。皮尔斯使用直觉的英语短语来记号表示谓词；还采用了当代逻辑使用的大写拉丁字母。点断言包含在论域中的一个个体的存在。同一个对象的多个实例用线连起来，这个线叫做"同一线"。这里没有文字变量或量词。连接两个或多个谓词的同一线共享一个公共变量。beta图可以被当作采用可隐含量化的变量。对象的深度是它包含的切的数目。如果一个变量的"最浅"的实例有偶数(奇数)深度，这个变量被默认的存在(全称)量化了。beta图看起来是流线型的带有等式的一阶逻辑，但是在次要文献中没有清晰的指出。向alpha增加了第二类切，写做虚线而不是实线。使用虚线的简单闭合的曲线可以读做模态逻辑的基本一元运算。Zeman (1964)首先注意到了:As of this writing, the chronological critical edition of Peirce's works, the Writings, extends only to 1890. Much of Peirce's work on graphical logic consists of manuscripts written after that date and still unpublished. Hence our understanding of Peirce's graphical logic is likely to change as the remaining 25 volumes of the chronological edition appear.

相关

神经病周边神经病变（英语：Peripheral neuropathy，缩写PN）俗称神经系统疾病，是指神经系统的疾病或异常状态下的神经系统。虽然在大众文化中神经病常常是一种代替精神病的说法，但神经病实
八角八角（学名：Illicium verum），又称八角茴香、大料和大茴香（在某些地方，大茴香指的不是八角），是木兰藤目八角属的一种植物。其同名的干燥果实是中国菜和东南亚地区烹饪的调味料之一。树
光光通常指的是人类眼睛可以见的电磁波（可见光），视知觉就是对于可见光的知觉。可见光只是电磁波谱上的某一段频谱，一般是定义为波长介于400至700奈（纳）米（nm）之间的电磁波，也就是波长比
萨兰达萨兰达（阿尔巴尼亚语：Sarandë）是位于阿尔巴尼亚南部的一个沿海城市，属夫罗勒州萨兰达区一部分。萨兰达是阿尔巴尼亚全国最重要的旅游城市之一，其附近的文化古城布特林特被列入世
卡帕多细亚卡帕多细亚（/kæpəˈdoʊʃə/; also Capadocia; 土耳其语：Kapadokya, 希腊语：Καππαδοκία Kappadokía，辞源：古波斯语：Katpatuka），又称为卡帕达奇亚，亚洲历史上的一个地
阿以冲突进行中巴勒斯坦人：约旦（1948–1994）埃及（1948–1978）伊拉克（1948–）叙利亚（1948–）黎巴嫩（1948–）苏伊士危机：（1956）南黎巴嫩冲突（英语：South Lebanon conflict (1985–2000)）：消耗战
华南海鲜市场武汉华南海鲜批发市场，又名华南海鲜市场，是中华人民共和国湖北省武汉市的一个海鲜专业批发市场。位于江汉区汉口金家墩地区，发展大道（二环线）、新华路交界，汉口火车站附近，临近同为
疑问词移位疑问词移位(英语称之为wh-movement、wh-extraction或A'-movement等)是一种可见于世界上许多语言的一种现象，在此现象中疑问词或词组会有特殊的语序，和一般的句子不同，在有此现
主谓短语在汉语句法中，主谓短语是短语的结构分类之一，它由两个成分组成。前一个成分的功能是提出主题，称为主语；后一个成分对主题加以陈述，称为谓语。主语和谓语构成了主谓关系（或主述关系
XML可扩展标记语言（英语：Extensible Markup Language，简称：XML）是一种标记语言。标记指计算机所能理解的信息符号，通过此种标记，计算机之间可以处理包含各种信息的文章等。如何定义这