存在图

✍ dations ◷ 2025-11-30 20:20:59 #存在图

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

相关

原生动物原生动物是动物界中最低级、最原始、最简单的一类动物，属于原生生物当中较接近动物的一类，简称原虫。身体由单个细胞所构成，因此也被称为单细胞动物。多营自由生活，也有的生活在
脂多糖脂多糖（Lipopolysaccharide）是一大型分子油脂和多糖由共价键相连组成的。脂多糖是革兰氏阴性细菌外膜的主要组成部分，提供并保持细菌结构的完整性，保护细菌的细胞膜抵抗某些化学
毒素本文所指的毒素（英语：Toxin），是指生物体所生产出来的毒物（poison），这个术语最早是由有机化学家路德维希（Ludwig Brieger）所提出。这些物质通常是一些会干扰生物体中其他大分子作用的
布地奈德布地奈德（Budesonide），常见商品名Pulmicort，是一种肾上腺皮质激素类药。本品可以制成定量吸入剂（英语：metered-dose inhaler）、药丸、鼻内喷剂（英语：nasal spray），以及肛门塞剂等等。吸
膜增生性肾小球肾炎膜增生性肾小球肾炎（Membranoproliferative glomerulonephritis，MPGN），也被称为系膜毛细管性肾小球肾炎（mesangiocapillary glomerulonephritis），是一种类型的肾小球肾炎引起的肾
外阴肿瘤外阴肿瘤，也称外阴癌（英语：Vulvar cancer），是一类生长于外阴的肿瘤，占所有妇科癌症的4%，且会影响患者终生。它包括有外阴癌的癌前病变外阴上皮内瘤变、鳞状细胞癌和乳房外柏哲德氏
轴突轴突（Axon）由神经元组成，即神经细胞之细胞体长出突起，功能为传递细胞本体之动作电位至突触。于神经系统中，轴突为主要神经信号传递渠道。大量轴突牵连一起，以其外型类似而称为神经
墨西哥湾沿岸地区墨西哥湾沿岸地区（Gulf Coast）是由濒临墨西哥湾的美国的五个州所组成的，其中包括德克萨斯州、路易斯安那州、密西西比州、阿拉巴马州以及佛罗里达州。因为其经济活动的繁荣以及
悬浮偶极悬浮偶极（Levitated dipole）是一种核聚变实验，将超导圆环设置于反应器内部。超导圆环将产生轴对称磁场，类似于地球或木星的磁层。据信这样的装置可以比其他聚变反应器设计更有效
毒瘾物质依赖（英语：Substance dependence）或称药物成瘾（drug addiction），指需要服用药物才能使日常生活表现正常的强迫行为。出现物质依赖状况后，若突然停止服用药物，可能出现药物戒断症