存在图

✍ dations ◷ 2025-11-19 10:23: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.

相关

急诊室急诊室（英语：Accident & Emergency、Emergency department、Emergency room等，缩写为A&E或ER），是医院的其中一个部门，但不是每间医院都有提供急诊服务。相对于有预约的门诊部，使用
D06BB（Antifungals for dermatological use）（Emollients and protectives）（Preparations for treatment of wounds and ulcers）（Antipruritics, including antihistamines, anesthetics,
桡骨桡骨（拉丁语：radius，复数：radii）是人和脊椎动物（四足）前臂两长骨之一；在某些动物（如蛙和蟾蜍），桡骨与尺骨愈合成桡尺骨。人的桡骨位于大拇指侧，上端为扁圆形的头，上面参与肘关节的组成，而
商品名商业名称（trade name, trading name, or business name），又称为商号、交易名称或营业名称等，是企业在从事商业活动时所使用的名称，功能类似于品牌。可指企业名、商品名或商标名等
管理水管理是在水文政策与法律之下对于水资源的计划、开发、分配、运输以及适当利用的过程。它有以下几种含意：
进食进食又称食、用餐、俗称吃、吃饭，是动物为了保持体能和生命所进行之有序的摄入营养和能量的过程，是动物的一种本能。所有动物都必须进食其他生物才得以生存。不同动物的进食方
结肠结肠，中国古称回肠，是大多数脊椎动物消化系统的最后一部分，在将固体废物排出体外前吸收水和盐。结肠中未吸收的废物也在微生物（主要是细菌）的帮助下发酵。在食品和营养物质的吸收
方言方言指的是一个某种语言的变体，但有时也可以指地方上使用的语言。然而，值得注意的是，在对所谓的“语言”和“方言”进行定义时，无论是采用社会语言学者“相互理解性”的判别标准
述宾短语述宾短语，或称述宾词组，是短语的结构分类之一，它是由两个成分以“支配、关涉”的关系组成的一类结构：前面是述语，后面是宾语。宾语是述语所表示的动作或现象所支配或关涉到的对象
米歇尔·布雷亚尔米歇尔·布雷亚尔（法语：Michel Bréal，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code20