存在图

✍ dations ◷ 2025-12-03 16:52:53 #存在图

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

相关

妇产科学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学妇产科学是医学中的一门学科，简称OB/GY
丝状病毒丝状病毒科（学名：Filoviridae），单股反链病毒目，是一种感染脊椎动物的病毒，包含的属有埃博拉病毒和马尔堡病毒。病毒粒（Virion）具有复杂构造，具外套膜（envelope），核鞘（nucleocapsid），聚合酶
鼠型斑疹伤寒鼠型斑疹伤寒，即是地方性斑疹伤寒（endemic typhus），病原体为伤寒立克次体（Rickettsia typhus），主要流行于家鼠之间，印度鼠蚤为由鼠类传给人的主要媒介。跳蚤吸血后获得病原体，其在中
脊髓病脊髓病变意味着任何与脊髓有关的神经功能缺损均可以称之。如果这个脊髓病变与创伤有关系，又可以称为脊髓损伤；相对地，如果是发炎所造成的脊髓病变，就可以称之为脊髓炎；最后，如果
花椰菜病毒科杆状去氧核糖核酸病毒属花椰菜镶嵌(花叶)病毒属水稻衰退(东格鲁)杆状样病毒属大豆萎黄(退绿)斑驳样病毒属木薯叶脉镶嵌样病毒属牵牛花叶脉透明样病毒属花椰菜病毒科（Cau
废料放射性废料是一种包含放射性物质的废料，一般在如核裂变一类的核反应中产生。事实上，一些不与核工业直接关联的的产业在各自的生产活动中也会排放出一定量的放射性废料。放射性
色盲色盲（英语：Color blindness），又称色觉辨认障碍（英语：Color vision deficiency），是指看见颜色及辨别颜色的能力减退的状况。色盲有可能造成学习困难，购买水果、挑选衣物，及辨识交通号
波斯尼亚和黑塞哥维那波斯尼亚和黑塞哥维那国家和大学图书馆（NUBBiH，Nacionalna i univerzitetska biblioteka Bosne i Hercegovine）是波斯尼亚和黑塞哥维那的国家图书馆，位于萨拉热窝。图书馆修建于
科依桑语系科依桑语系，或称科伊桑语系，是非洲东部坦桑尼亚的桑达韦人（Sandawe）和哈扎人（Hadza），以及非洲南部，喀拉哈里沙漠的科伊科伊人和布须曼人（或称桑人）所使用语言所属的语系，包括非洲东部的
图灵艾伦·麦席森·图灵，OBE，FRS（英语：Alan Mathison Turing，又译阿兰·图灵，Turing也常翻译成涂林或者杜林，1912年6月23日－1954年6月7日）是英国计算机科学家、数学家、逻辑学家、密码分