存在图

✍ dations ◷ 2025-11-27 11:16:08 #存在图

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

相关

耳耳（耳朵）是动物接收并感知声波，识别方位维持身体平衡的器官，为动物提供听觉。耳可以是整个听觉系统的统称，亦可以仅指露出在身体外的部分（外耳）。在大部分的哺乳类动物中，外露在身体
牙周炎牙周炎又称牙周病 (Periodontal disease)，是牙周组织的疾病。侵犯牙龈、牙周、牙周膜、牙周韧带及牙槽骨等组织的慢性炎症。常见的慢性牙周病一般可分为牙龈炎和牙周炎，这两种
高功能自闭症高功能自闭症（英语：High-functioning autism，简称HFA），指智商中等或更高患者所患有的自闭症，该类自闭症患者多数具有语言能力，学习能力较佳、自闭倾向较不明显；但语言理解与表达力、
数据可视化数据可视化（英语：Data visualization）被许多学科视为与视觉传达含义相同的现代概念。它涉及到数据的可视化表示的创建和研究。为了清晰有效地传递信息，数据可视化使用统计图形、
模式模式（英语：Pattern，源自法语：patron），在物体或事件上，产生的一种规律变化与自我重复的样式之过程。在模式之中，某些固定的元素不断以可预测的方式周期性重现。最基本而常见的模式，称
曾光曾光（1946年5月22日－），男，北京人，中国流行病学家。现任中华人民共和国国家卫生健康委员会高级别专家组成员、中国疾病预防控制中心流行病学首席科学家。1946年5月22日出生于北京。
低血钙低钙血症或低血钙症（Hypocalcaemia）系指血清中的钙离子浓度过低的状况，正常比例为 2.1 至 2.6 mmol/L（约为 8.8 到 10.7mg/dl，4.3 到 5.2 mEq/L），如果低于 2.1 mmol/L，就会认定为低
附器附器是指从躯体突出的部分，或任何生物的身体部分的自然伸延部分，如脊椎动物的四肢。无脊椎动物生物学的范畴中，附器是一个一般词汇，意指从任何体节伸延出来的同源身体部分。这些
秋水仙素秋水仙素（英语：Colchicine）是最初萃取于百合科植物秋水仙的种子和球茎的一种植物碱。它是白色或淡黄色的粉末或针状晶体，有剧毒。最先用于治愈风湿病和痛风，但是它的泻药及促进呕
芋芋（学名：Colocasia esculenta）或芋艿，俗称“芋头”，为天南星科芋属植物，其球状地下茎（块茎）可食用亦可入药，在大洋洲诸岛是波利尼西亚人传统主要粮食；全年皆有产，花期在秋季。最早栽种