存在图

✍ dations ◷ 2024-12-22 20:30: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.

相关

非特异性间质肺炎非特异性间质性肺炎（Non-specific interstitial pneumonia，简称NSIP）属于一种特发性间质性肺炎。症状包含咳嗽、呼吸困难，以及疲倦。目前认为属于一种自体免疫有关，可能为未分化
原核原核生物（英文：prokaryote）是通常由单一原核细胞形成的生物。相对于真核细胞，原核细胞一般没有细胞内膜、没有核膜包裹的成型细胞核，细胞内无染色体，DNA链未螺旋化，并以游离的形成
羊肚菌羊肚菌属（学名：Morchella、英语：morels），是子囊菌门羊肚菌科的一个属，形态特征为子囊果的外表呈蜂窝状。本属最早于1794年由克里斯蒂安·亨德里克·珀森描述发表，模式种为美味羊肚
哮吼哮吼（Croup），又称咽喉气管支气管炎（laryngotracheobronchitis）为一种呼吸道感染症，通常是由病毒感染所诱发。感染会引致气管内肿胀，并影响正常呼吸，而导致咳嗽会类似狗吠声，其他症状
中东中东（英语：Middle East，阿拉伯语：الشرق الأوسط‎，希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra S
油外泄漏油事件，是一种因人类活动而导致石油、柴油等油污泄漏的意外。漏油事件的结果可能会造成水污染，并影响海洋生态，需要花费很多的金钱来处理。一般来说，漏油事件通牵涉油轮，因为
水污染控制水污染控制是控制向水体排放污染物的方法，水污染主要有点污染源和面污染源，点污染源有具体的污染源，如工厂的排污管道口，比较容易治理，只要控制污染物排放政策有足够的执法能力，每
布基纳法索面积以下资讯是以2019年估计家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人类发展指数以下资讯是以2018
伊比库斯伊比库斯（英语：Ibycus），约活动于公元前6世纪前后。古希腊诗人之一，为赫雷基乌姆的抒情诗人。效劳于萨摩斯的波吕克拉泰斯的宫廷。他的作品最初集为七卷本，主要是合唱歌曲、颂词和
延胡索酸延胡索酸(Fumaric Acid)，又名富马酸、紫堇酸或地衣酸，即反丁烯二酸（IUPAC名为(E)-丁烯二酸），是一种无色、易燃的晶体，由丁烯衍生出的羧酸。它的化学式是C4H4O4。燃烧延胡索酸会释