存在图

✍ dations ◷ 2025-12-05 09:35:45 #存在图

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

相关

细胞学细胞生物学（英语：cell biology）旧称细胞学（cytology），是研究细胞的形态结构、生理机能、细胞周期、细胞分裂、细胞自噬、细胞凋亡, 以及各种胞器及讯息传递路径的学科。研究范围专
急性急性（Acute）在医学中指发作迅速持续时间可能也较短的病症。有时侯，急性与慢性用来区分不同的病，比如急性白血病和慢性白血病；有时候，急性用来强调发病突然，如急性心肌梗塞。医学征
医学微生物学医学微生物学（clinical microbiology）是的一个医学分支，主要关注传染病的预防、诊断和治疗。此外，科学这一领域的研究微生物对健康的改善各种临床应用。有四种微生物是会导致传
抗抑郁症药物抑郁症，亦称忧郁症，是一类以抑郁心境为主要特点的情感障碍。它主要包括：重度抑郁症、持续性抑郁症、季节性抑郁症。它们的共同表现为：长时间持续的抑郁情绪，并且这种情绪明显超过
1型糖尿病1型糖尿病（旧称青少年糖尿病或胰岛素依赖型糖尿病）是糖尿病其中一种类型，患者的身体不能产生足够的胰岛素，导致血糖水平过高，典型症状包括：多尿、口渴、易饿以及体重下降；其他症状
人力资本人力资本（英语：Human capital），指人的知识、经验、制度与习惯等。人力资本分成个人与社会两个方面，具备这些资本的劳工，拥有更高的生产能力，可以将这些资本转换成经济价值。人力资
Sirius可视化软件Sirius可视化软件（简称Sirius）是圣地亚哥超级计算机中心（San Diego Supercomputer Center）所开发的一个分子建模与分析系统。Sirius设计旨在支持除简单显示小分子和蛋白质的之外
疫情防控指挥部新型冠状病毒感染的肺炎疫情防控指挥部，是中国大陆各地政府部门为应对2019冠状病毒病疫情而成立的指挥部。最早成立指挥部的是疫情最初爆发地湖北省武汉市，之后中国大陆受疫情
猫叫综合征猫叫综合征（英语：Cri du chat syndrome），也称猫哭症、猫啼症、5号染色体短臂缺失综合征（chromosome 5p deletion syndrome），是一种由于第五号染色体短臂缺损而引起的罕见基因异常病
坎兹坎兹(Kanzi，1980年10月23日)，是一只会使用手语(美国手语)的雄性倭黑猩猩，他出生于美国乔治亚州州立大学，坎兹小时常陪伴其养母Matata（一只雌性倭猩猩首领）上键盘符号字的教学课，Mat