存在图

✍ dations ◷ 2025-07-12 17:57:25 #存在图

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

相关

妊娠并发症妊娠并发症（Complications of pregnancy）是有关妊娠的健康问题。在分娩时出现的并发症一般会称为是分娩并发症（英语：obstetric labor complication），在分娩之后的称为产褥期疾病（英
高胱氨酸尿症高胱氨酸尿症（英语：Homocystinuria）是一种遗传病，其会导致体内堆积甲硫氨酸、高胱氨酸、高半胱氨酸及复合双硫化合物，造成智能不足、骨骼畸型、心脏血管疾病等。此遗传病的发生率
埃索美拉唑埃索美拉唑(英语：Esomeprazole)是氢离子泵阻断剂，商品名为耐适恩(英语：Nexium)；由阿斯利康研发并在瑞典上市。用于治疗消化不良、消化性溃疡、胃食管反流病及柔林格症候群(Zolli
联邦议长：南希·裴洛西（民主党）多数党领袖（英语：Party leaders of the United States House of Representatives）：斯坦利·霍耶（民主党）少数党领袖（英语：Party leaders of the United Sta
氧化锌氧化锌是锌的氧化物，难溶于水，可溶于酸和强碱。它是白色固体，故又称锌白。它能通过燃烧锌或焙烧闪锌矿（硫化锌）取得。在自然中，氧化锌是矿物红锌矿的主要成分。人造氧化锌有两种制
马更些河马更些河（英语：Mackenzie River，斯里夫语：Deh-Cho），是一条北美洲的河流，也是北美洲第二大水系（总长4,241公里），仅次于密西西比河。马更些河发源于加拿大西北地区的大奴湖，将支流芬利河
九原区九原区（蒙古语：.mw-parser-output .font-mong{font-family:"Menk Hawang Tig","Menk Qagan Tig","Menk Garqag Tig","Menk Har_a Tig","Menk Scnin Tig","Oyun Gurban Ulus Ti
骨外科骨科即骨外科，也被称为矫形外科（英语：Orthopedic surgery 或 Orthopaedics，美式英文：Orthopedics）是使用手术和非手术的方法来治疗肌肉骨骼系统创伤、脊柱损伤、运动损伤、退行性
循证人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学实证医学（英语：Evidence-based medicine
字符在电脑和电信领域中，字符（Character）是一个信息单位。对使用字母系统或音节文字等自然语言，它大约对应为一个音位、类音位的单位或符号。简单来讲就是一个汉字、假名、韩文字…