存在图

✍ dations ◷ 2025-11-19 23:15:05 #存在图

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

相关

格林－巴利综合征古兰－巴雷综合征（Guillain-Barré syndrome，缩写为GBS），又称基连巴瑞症候群、脱髓鞘多发性神经炎、吉兰-巴雷综合征、古兰－巴雷综合征。是一种因免疫系统损害周围神经系统，而导致的
骨软骨炎骨软骨炎（英语：Osteochondritis）是一种疼痛的幼年型骨软骨病（英语：Osteochondrosis），是关节内的软骨或骨骼的炎症。通常是指剥脱性骨软骨炎。“剥脱性”一词指的是“新生软骨瓣从软
离子通道离子通道（英语：Ion channel）是一种膜蛋白，它通过允许某种特定类型的离子依靠电化学梯度穿过该通道，来帮助细胞建立和控制质膜间的微弱电压压差（见动作电位）。这些离子通道存在于所
强迫症强迫症（英语：Obsessive-Compulsive Disorder，缩写：OCD）又译强迫性疾患、强迫性障碍、强迫性病症强迫症疾患、强迫性神经症，亦译沉溺，是一种精神病。西方精神医学中的强迫症包含强迫
计算机的可视化可视化是指用于创建图形、图像或动画，以便交流沟通讯息的任何技术和方法。在历史上包括洞穴壁画、埃及象形文字等，如今可视化有不断扩大的应用领域，如科学教育、工程、互动多媒
强的松17-hydroxy-17-(2-hydroxyacetyl)-10,13-dimethyl-7,8,9,10,12,13,14,15,16,17- decahydro-3泼尼松（英语：Prednisone），又名“去氢可的松”或“强的松”，它是一种口服的糖皮质激
Α-葡聚糖α-葡聚糖（alpha glucan）是指由α-葡萄糖聚合形成的聚糖。淀粉（包括直链淀粉和支链淀粉）、糖原均属于α-葡聚糖。在淀粉和糖原分子中，主链的不同单体之间由α-1,4-糖苷键聚合而成
学术研究研究是用主动和系统方式的过程，是为了发现、解释或校正事实、事件、行为、或理论，或把这样事实、法则或理论作出实际应用。“研究”一词常用来描述关于某一特殊主题的资讯收集
X-三体综合征 (47,XXX)三染色体X综合征是一种人类女性的性染色体疾病；一般女性的性染色体是XX，而患者为XXX。患有该综合征的患者又因其基因行为XXX，被称做超雌性。与XYY三体患者不同的是，三染色体X综
形意符号语言学上的形意符号（英：ideogram，亦称表意符号、形意图或表意图），是一种图形符号，只代表一定意义。它不是一种代表语言的语素或语音的文字系统。换句话说，这种文字系统并不能用于记