存在图

✍ dations ◷ 2025-12-04 09:08:53 #存在图

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

相关

蒂内尔征Tinel征是一种神经损害的表现。它是通过叩击神经损伤的部位引起“如坐针毡（英语：Paresthesia）”样的刺痛或蚁走感。它的名字来自法国神经学家Jules Tinel（1879-1952）。举个例子，在
工业工程学工业工程（Industrial Engineering）、运筹学（Operations Research）和系统工程（Systems Engineering）是研究如何分析复杂系统并建立抽象模型从而改进系统的学科。与传统工程学及数理
磷酸磷酸（英语：phosphoric acid）或称为正磷酸（orthophosphoric acid），化学式H3PO4，是一种常见的无机酸，不易挥发，不易分解，几乎没有氧化性。具有酸的通性，是三元弱酸，其酸性比盐酸、硫酸、硝
夜盲夜盲症（英语：Nyctalopia或Night Blindness），俗称雀盲眼，表现为在黑暗中或光线较弱的地方看不清东西。由于先天遗传因素，视网膜色素变性或者杆状细胞发育不良等造成。目前没有有效
胸管胸腔闭式引流术，又称“胸廓造口术、胸腔管手术”，是一种较为简单的外科手术。一般用于治疗各种胸腔积水、胸腔积液（英语：pleural effusion）和气胸等。过程是先进行局部麻醉后，在肋
高加索地区高加索（格鲁吉亚语：კავკასია；车臣语、俄语：Кавказ）是位于西亚及东欧交界处，黑海、里海之间高加索山脉的地区，总面积约44万平方公里。该地名根据古罗马学者老普林尼著
卢旺达– 非洲（浅蓝及深灰）– 非盟（浅蓝）卢旺达共和国（卢旺达语：Repubulika y'u Rwanda，法语：République du Rwanda，英语：Republic of Rwanda，斯瓦希里语：Jamhuri ya Rwanda），通称卢旺达，是
艺术古希腊艺术，是指盛行于公元前15世纪至公元前1世纪古希腊世界以及附近地区的艺术，古希腊艺术被视为是西方艺术的主要源头。古希腊艺术突出的特点是重视写实。古希腊神话中的人
下肢腿（英语：Leg），通常指人体的下肢，功能之一在于行走。广义来说，是指其到支撑作用的结构，对于动物来说，通常呈近似圆柱状。由于需要分散重力，通常腿部的末端会形成较宽大的结构，例如人类
尿尿，又称尿液，是人类和脊椎动物为了新陈代谢的需要，经由泌尿系统及尿路排出体外的液体排泄物。排出的尿液可调节机体内水和电解质的平衡以及清除代谢废物且可同时散热，尤其是退化