存在图

✍ dations ◷ 2025-05-16 22:05:51 #存在图

存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在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.

相关

核膜核膜（英语：nuclear membrane 或 karyotheca），又称核被膜或核封套（nuclear envelope）是包围真核细胞细胞核，分隔开细胞核和细胞质的生物膜。核膜由两层磷脂双分子层构成，厚度共约20-1
L01-L02ATC代码L（抗肿瘤药及免疫制剂）是解剖学治疗学及化学分类系统的一个分类，这是由世界卫生组织药物统计方法整合中心（The WHO Collaborating Centre for Drug Statistics Methodolo
格兰德河/北布拉沃河格兰德河（英语：Rio Grande）是位于北美南部的河流，在墨西哥被称为布拉沃河（西班牙语：Río Bravo），更正式的称呼为北布拉沃河（西班牙语：Río Bravo del Norte）。全长3034公里，是美国第五长
并殖属见内文并殖属（学名：Paragonimus）是扁形动物门吸虫纲复殖亚纲斜睾目住胞科的一个属。本属物种多达数十个，而且部分物种之下还有亚种，彼此间要分辨也不容易，而当中有多少属于同种异
记忆树记忆树是利用关联性记忆法，有效的将大量的资料整理并且快速的在脑中留下印象，特色是会以一个主题当作是主干，与其相关联的资料会采上下半辐射状依序连结出，呈现出类似树状图的图
所见即所得所见即所得（英语：What You See Is What You Get，缩写：WYSIWYG）是由菲利普·威尔逊（Flip Wilson）所提出的一种电脑文本编辑器方面的技术，使得编辑文字时在屏幕上直接呈现最终显示效果
几内亚面积以下资讯是以2019年估计国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人类发展指数以下资讯是以2018年估计几
伊丽莎白·安斯康姆伊丽莎白·安斯康姆（Gertrude Elizabeth Margaret Anscombe 1919年3月18日－2001年1月5日），英国著名分析哲学家，师从路德维希·维特根斯坦。功利主义 · 归结主义 · 义务论
TASS苏联电讯社（俄语：Телеграфное агентство Советского Союза，缩写为“ИТАР-ТАСС”），缩写音译为塔斯社，是前苏联的国家通讯社，成立于1925
夏威夷语夏威夷语（ʻŌlelo Hawaiʻi）是南岛语系的一种，用拉丁文字书写。因主要通行于夏威夷岛而得名，另外在夏威夷群岛和美国本土亦有少数人使用。和英语同为夏威夷州的官方语言。从183