存在图

✍ dations ◷ 2025-11-16 21:47:55 #存在图

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

相关

血液检查血液检查（英语：Blood test），是指通过采血以获得受检者的血液，并利用其进行临床检查以获取受检者的健康状况。主要通过医检师进行检验。血液检查主要用于判断患者在一定时间内的身
C-反应蛋白n/an/an/an/an/an/an/an/an/an/aC反应蛋白（英语：C-Reactive Protein，CRP）是由肝脏生成的血浆蛋白，主要被当作发炎的指标。LOINC术语标准对于血清/血浆CRP检测项目的定义和编码请
身体畸形恐惧症体象障碍（body dysmorphic disorder，缩写：BDD）或称躯体变形障碍、身体臆形症、丑形恐怖，是一种精神障碍，患者过度关注自己的体像并对自身体貌缺陷进行夸张或臆想，在大多数病例中，患
排泄排泄作用是指生物体将代谢废物排出体外的作用，是所有生物生存的必要过程。单细胞生物透过细胞表面排出废物。高级植物以叶面上的气孔排气。多细胞生物则有特别的排泄器官。其
变态反应超敏反应（hypersensitivity），也叫变态反应，是免疫反应产生作用分子移除外来抗原的过程，这些作用分子诱导产生轻微、无临床症状或局部性的发炎反应，并不会对宿主造成组织伤害。特殊
钍232.0377(4)6d2 7s22, 8, 18, 32, 18, 10, 2蒸气压第一：587 kJ·mol−1 第二：1110 kJ·mol−1 第三：1930 kJ·mol主条目：钍的同位素.mw-parser-output ruby>rt,.mw-parser-o
苏必利尔湖苏必利尔湖（英语：Lake Superior）是北美洲五大湖中最大的一座，被加拿大的安大略省与美国的明尼苏达州、威斯康星州和密歇根州所环绕。苏必利尔湖是世界上面积最大的淡水湖；以蓄水
普鲁卡因普鲁卡因（英文：Procaine），它的商品名为奴佛卡因（英文：Novocaine），一种局部麻醉药。最初用于缓解肌肉注射青霉素引起的疼痛，也用于牙科手术。作用主要是钠离子通道阻滞剂。普鲁卡因是
约翰福音《约翰福音》（希腊语：Κατὰ Ἰωάννην；天主教汉译作《若望福音》），是《新约圣经》正典的第四部福音，共21章，是四福音书中最迟写成。本书中记载的耶稣言行有许多未记录在其
达罗毗荼语系达罗毗荼语系（Dravida，又称德拉维达语系）分布在印度南部的泰米尔纳德邦、卡纳塔克邦、安得拉邦、喀拉拉邦，印度中部和东部的一些地区，以及巴基斯坦的一个小地区，包括75种语言，其中