存在图

✍ dations ◷ 2025-11-29 00:54:18 #存在图

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

相关

普通感冒普通感冒（common cold），俗称伤风，医学上还称为急性上呼吸道感染或急性鼻咽炎，是一种上呼吸道的病毒性感染，主要原发于鼻腔，但也可能进犯喉咙以及鼻窦。症状一般于暴露病原后两天内
单链RNA反转录病毒逆转录病毒科（学名：Retroviridae）又称“反转录病毒科”，分为双链DNA逆转录病毒和正链RNA逆转录病毒。它们增殖时都有将遗传物质RNA逆转录为DNA的过程（前者逆转录反链RNA，后者逆转
血液循环循环系统（英语：circulatory system），也称为心血管系统（英语：cardiovascular system）或血管系统（英语：vascular system）是负责血液循环，在细胞间传送养分（如氨基酸及电解质）、氧气、二氧化
桃子桃（学名：Prunus persica）是蔷薇科李属一种，花可以观赏，果实多汁，作为水果，可以生食或制桃脯、罐头等，核仁也可以食用。果肉有白色和黄色的，一般在亚洲最受欢迎的品种多为白色果肉，香甜
隔离在医疗保健设施（英语：health care facilitiess）中的隔离是指为了达到感染控制（英语：infection control）的目的，需进行的多个方法之一：预防感染性疾病（英语：contagious disease）由患者身
CD4+ T细胞辅助T细胞（T helper cells, Th），又称为助手型T细胞，是一种T细胞（白细胞的一种），它的表面有抗原受体，可以辨识抗原提呈细胞的MHC-II类分子呈献的抗原片段。一旦受到抗原刺激，Th细胞就
腓骨腓骨（拉丁语：Fibula）是人和脊椎动物（四足类）小腿上的两块长骨之一，位于小腿外侧，较细；某些动物（如蛙和蟾蜍等）腓骨与其内侧的胫骨融合成胫腓骨。腓骨比胫骨细；腓骨上端称作腓骨小头，可以
重水反应堆重水反应堆简称“重水堆”或“HWR”（Heavy Water Reactors），是一类利用重水作为中子慢化剂的核反应堆。最常见的重水反应堆是CANDU反应堆。重水反应堆中利用的慢化剂——重水是
开罗省开罗省（阿拉伯语：محافظة القاهرة‎），是埃及的一个省，位于该国尼罗河三角洲东南角。首府开罗同时也是埃及的首都。开罗省面积3,085平方公里，人口13,000,000人（2006年统
胡斯战争胡斯战争（Hussite Wars）－亦称波希米亚战争（Bohemian Wars），发生于1419年7月30日至1434年5月30日，起因于神圣罗马帝国领地波希米亚的宗教改革家扬·胡斯在康士坦斯大公会议中，被罗马