存在图

✍ dations ◷ 2025-12-01 15:17:19 #存在图

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

相关

北欧北欧是地理上对欧洲北部的简称，一般分为狭义及广义两种定义：气候:地处高纬，气温偏低，因北大西洋暖流经过，使其比同纬度地区暖湿地形：1.以斯堪的纳维亚半岛为主体，斯堪的纳维亚山
氟红霉素氟红霉素是一种大环内酯类抗生素。它是的红霉素（一种同类抗生素）的氟代物，其抗菌能力与红霉素相当，但较交沙霉素为优。氟红霉素对抑制部分梭状芽孢杆菌和脆性拟杆菌较有效。其较
地球大气层地球大气层，又称大气圈，因重力关系而围绕着地球的一层混合气体，是地球最外部的气体圈层，包围着海洋和陆地，大气圈没有确切的上界，在离地表2000-16000公里高空仍有稀薄的气体和基本
髓过氧化物酶n/an/an/an/an/an/an/an/an/an/a髓过氧化物酶（英语：Myeloperoxidase，简称为MPO）是一种由人类17号染色体上MPO基因编码的过氧化物酶。MPO主要表达于中性粒细胞（白细胞的一种）中，并产
纽约总部联合国总部大楼（亦称联合国大厦）是联合国总部的所在地，位于美国纽约市曼哈顿区东侧，属于国际领土，因此只要是会员国国民持有护照就可以进入，包括与美国无邦交的联合国会员国。从联
维京人维京人（古诺斯语：víkingr）是诺尔斯人的一支（斯堪的纳维亚人），他们是从公元8世纪到11世纪侵扰并殖民欧洲沿海和不列颠群岛的探险家，武士，商人和海盗。其足迹遍及从欧洲大陆至北极广
东西教会大分裂东西教会大分裂（英语：East–West Schism）是指11世纪基督教会大分裂，分出了希腊正教（东方正教会）以及罗马天主教（罗马普世公教会）两大宗。自2世纪以后，以罗马为首的西方教会和以君士坦
哲罗姆哲罗姆，天主教译圣热罗尼莫或圣叶理诺，也译作圣杰罗姆（约340年－420年；英文：Jerome（以前叫 Saint Hierom）；拉丁文：Eusebius Sophronius Hieronymus；希腊文：Εὐσέβιος Σωφρόν
伺机感染性机会性感染又名伺机性感染（英语：opportunistic infection）是指由机会性病原体引发的感染。这些病原体寄生于免疫功能正常的健康宿主时不致病，但会在宿主出现免疫缺陷时入侵宿主
闪米特语族闪米特语族，译作閃語族、塞姆语族或閃米特語族，旧称叙利亚-阿拉伯语族，是亚非语系之下的语族之一，起源于中东地区，其下属语言约有3.3亿人作为母语，分布于西亚、北非和非洲之角，也