存在图

✍ dations ◷ 2025-12-10 16:27:46 #存在图

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

相关

泡菜泡菜古称葅（zū），是指为了利于长时间存放而经过发酵的蔬菜。一般来说，只要是纤维丰富的蔬菜或水果，都可以被制成泡菜；像是卷心菜、大白菜、红萝卜、白萝卜、大蒜、青葱、小黄瓜、
压强压强，是作用在与物体表面垂直方向上的每单位面积的力（Force）的大小，即是分布在特定作用面上之力与该面积的比值。压强可用任意之力单位与面积单位进行测量，压强的国际标准单位为
阿比朵尔阿比朵尔 (俄语：Арбидол，英语：Arbidol) 是一种抗病毒药物，由前苏联药物化学研究中心研制开发，主要适应症是A类、B类流感病毒引起的流行性感冒，同时对其他一些呼吸道病毒感
压压力是一个心理学与生物学的术语，意指人类或动物面对情绪上或身体上的有形或无形威胁时，无法正常回应的感受状态。该名词首次出现于1930年代的生物学研究领域里，近年来已逐渐为
RNA逆转录病毒逆转录病毒科（学名：Retroviridae）又称“反转录病毒科”，分为双链DNA逆转录病毒和正链RNA逆转录病毒。它们增殖时都有将遗传物质RNA逆转录为DNA的过程（前者逆转录反链RNA，后者逆转
锈菌纲见内文Pucciniomycetes D.Hawksw., B.Sutton & Ainsw. (1983)柄锈菌纲（学名：Pucciniomycetes），以前曾称为锈菌纲（Urediniomycetes），是担子菌门柄锈菌亚门下一个真菌的纲。此纲包含5
世界气象组织世界气象组织（英语：World Meteorological Organization，缩写：WMO；法语：L'Organisation météorologique mondiale，缩写：OMM；世界语：Monda Organizaĵo pri Meteologio，缩写：MOM）是联合国
乏燃料池乏核燃料是经受过辐射照射、使用过的核燃料，通常是由核电站的核反应堆产生。这种燃料无法继续维持核反应。乏核燃料中仍然包含有大量的放射性元素，因此具有放射性，如果不加以妥
念珠菌病念珠菌症（Candidiasis）是假丝酵母属（酵母菌的一种）所造成的霉菌感染，在感染口腔时，就会引发鹅口疮（Thrush）。症状和病征包括在舌头、口腔以及咽喉的部位出现小白点，也可能产生例如酸
法兰克福大学歌德 - 美茵河畔法兰克福大学（德语：Goethe-Universität Frankfurt am Main），德文简称为“法兰克福大学”（Uni Frankfurt）或“歌德大学”（Goethe Uni）﹔据此，中文亦有称作“歌大”或“