存在图

✍ dations ◷ 2025-11-22 16:42:35 #存在图

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

相关

肝功能测试肝功能测试是为了解病患肝脏的状态，设计而成的临床生化学实验室血液检测方法的总称。相关测试参数包括：PT/INR（凝血酶原时间／国际标准化比值）、aPTT、白蛋白、胆红素（直接和间接）、
耳膜鼓膜（Tympanic membrane）是分割外耳和中耳的薄膜。鼓膜是耳的重要组成部分，它获取空气中的声音，并将之传递给中耳中的听小骨。在听小骨中，直接与鼓膜相连的是锤骨。鼓膜的破裂或
肿瘤标志物癌症标志物（英语：Cancer biomarkers）是指由肿瘤细胞直接产生或由非肿瘤细胞经肿瘤细胞诱导产生的物质。对于肿瘤标志物的检测可对肿瘤存在、发病过程及预后作出判断。癌症标志
卡尔一世 (奥匈帝国)卡尔一世（Karl I，1887年8月17日－1922年4月1日），全名卡尔·弗朗茨·约瑟夫·路德维希·胡伯特·格奥尔格·玛利亚·冯·哈布斯堡-洛林（Karl Franz Joseph Ludwig Hubert Georg Mari
伊利阿斯·马格努斯·弗里斯埃利亚斯·芒努斯·弗里斯（瑞典语：Elias Magnus Fries，1794年8月15日－1878年2月8日），瑞典生物学家。他在六十多年的科研生涯中，搜集了欧洲各地大量的真菌标本，对其进行了科学、系统
髓过氧化物酶n/an/an/an/an/an/an/an/an/an/a髓过氧化物酶（英语：Myeloperoxidase，简称为MPO）是一种由人类17号染色体上MPO基因编码的过氧化物酶。MPO主要表达于中性粒细胞（白细胞的一种）中，并产
Environmental Health Perspectives《环境健康视角》（Environmental Health Perspectives）是一份1972年起由美国国家环境健康科学研究所（英语：National Institute of Environmental Health Sciences）发行的学术期刊
五大湖区五大湖地区（Great Lakes Region）是指由环绕北美洲五大湖的加拿大安大略省和美国的伊利诺伊州、印第安纳州、俄亥俄州、密歇根州、明尼苏达州、纽约州、宾夕法尼亚州和威斯康星
雨天雨部，为汉字索引中的部首之一，康熙字典214个部首中的第一百七十三个（八划的则为第七个）。就繁体和简体中文中，雨部归于八划部首。雨部只以上方为部字。且无其他部首可用者将部首
公司破产破产（英语：Bankruptcy），是一种宣告债务人无力偿付债务及其后的一系列还款予债权人过程的法律程序。在法律用语上，破产与倒产不同，前者专指将事业结束，将债务人的全部财产变卖并分配