存在图

✍ dations ◷ 2025-11-17 23:58:41 #存在图

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

相关

死产死产，或称为胎死腹中，通常定义是在怀孕之后的胎儿死亡。描述胎儿在母体子宫内即死亡的现象。死产可能导致母亲的内疚。死产和流产不同，流产是指早期妊娠失败，胎儿出生后死亡。导
良性阵发性位置性眩晕良性阵发性姿势性眩晕（Benign paroxysmal positional vertigo，简称BPPV）为一种内耳诱发的疾病，患者会有重复性短暂眩晕的症状，头部移动时会感到天旋地转，甚至连就寝翻身时都会有晕
HIV人类免疫缺陷病毒（英语：human immunodeficiency virus，簡稱HIV，又称艾滋病毒）是一种感染人类免疫系统细胞的慢病毒，属逆转录病毒的一种。普遍认为，人类免疫缺陷病毒的感染导致艾滋
食肉真菌食肉真菌（英语：Carnivorous fungi），亦作肉食性真菌或捕食性真菌（predaceous fungi），是真菌的一种，透过捕捉和消化微细的或细小的动物而转化成其部分或全部养份。现时已被描述的物种
碱雨碱雨，顾名思义，就是呈碱性的雨，与酸雨相反。碱雨的成因可以有两方面，例如：当氧化钙或氢氧化钠的粉尘排放到空气里，又或是有时在一些氨工厂周围因为氨气排放到空气里。这些碱性的
恰加斯病恰加斯病（英语：Chagas disease），又称为南美锥虫病（American trypanosomiasis），是一种热带疾病（英语：Tropical disease）寄生虫病；致病原是克氏锥虫（英语：Trypanosoma cruzi），通常借由俗称为
中国-康奈尔-牛津计划中国-康奈尔-牛津计划（China–Cornell–Oxford Project）是20世纪80年代在中国农村对于流行病的大型观察性研究，由康纳尔大学、牛津大学和中国政府共同出资1990年5月，《纽约时报
肌酸激酶肌酸激酶（英语：Creatine kinase，又称为肌酸磷酸激酶，简称为CK或CPK，EC 2.7.3.2）在磷酸肌酸合成途径中起到可逆催化肌酸形成磷酸肌酸的作用，正反应过程中需要ATP提供磷酰基，磷酸肌酸
第一语言母语，又称第一语言，为一个人出生以后，最早接触、学习、并掌握的一种或几种语言。母语一般是自幼即开始接触、并持续运用到青少年或之后；并且，一个人所受的家庭或正式教育中，尤其是
康托尔格奥尔格·费迪南德·路德维希·菲利普·康托尔（德语：Georg Ferdinand Ludwig Philipp Cantor，1845年3月3日－1918年1月6日），出生于俄国的德国数学家（波罗的海德国人）。他创立了现代